Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. of SoftWare (JSW) 7(11): 2518-2532 (2012)
	Sofiane Chemaa; Faycal Bachtarzi; Allaoua Chaoui A High-level Petri Net Based Approach for Modeling and Composition of Web Services. Int. Conf. on Computational Science (ICCS'12): 469-478 (2012)
	Seidali Rehab; Elhillali Kerkouche; Allaoua Chaoui An automatic generation approach of B Specifications From UML Diagrams. 7th Int. Conf. on Digital Information Management (ICDIM'12): 73-78 (2012)

	Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. J. of SoftWare (JSW) 5(11): 1279-1291 (2010)
	Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. J. of Object Technology 9(4): 25-43 (2010)
	Rabah Mokhtari; Allaoua Chaoui; Mohamed Redha Bahri Mapping UML Components diagrams to XML using Graph Transformation. Int. Conf. on Computer Applications in Industry and Engineering (CAINE'10): 245-250 (2010)
	Mohamed Gharzouli; Mahmoud Boufaïda A distributed P2P-based architecture for semantic Web services discovery and composition. Int. Conf. on New Technologies of Distributed Systems: 315-320 (2010)
	Kamel Messaoudi; El-Bay Bourennane; Salah Toumi; Elhillali Kerkouche; Ouassila Labbani Memory requirements and simulation platform for the implementation of the H.264 encoder modules. 2nd Int. Conf. on Image Processing Theory Tools and Applications (IPTA'10): 133-137 (2010)

	Mohamed Gharzouli; Mahmoud Boufaïda A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services. 4th Int. Conf. on Internet and Web Applications and Services (ICIW'09): 449-454 (2009)
	Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. 18th Int. Conf. on Software Engineering and Data Engineering (SEDE'09): 111-118 (2009)
	Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui Transforming UML models to colored petri nets models using graph grammars. 14th IEEE Symp. on Computers and Communications (ISCC'09): 230-236 (2009)
	Elhillali Kerkouche; Allaoua Chaoui A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. 10th Int. Conf. on Distributed Computing and Networking (ICDCN'09): 206-211 (2009)

Amel Meliouh; Elhillali Kerkouche; Allaoua Chaoui A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. 21st ISCA Int. Conf. on Computer Applications in Industry and Engineering (CAINE'08): 88-93 (2008)