Abdelkamel Hettab; Elhillali Kerkouche; Allaoua Chaoui A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. 8th Int. C* Conf. on Computer Science & Software Engineering (C3S2E'15): 88-97 (2015)

	Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui; Raida Elmansouri On the Verification of G-Nets Models Using Graph Transformations. Int. journal of innovative computing, information and control (IJCIC) 9(11): 4285-4302 (2013)
	Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach. Modeling Approaches and Algorithms for Advanced Computer Applications: 347-356 (2013)

	Fayçal Bachtarzi; Allaoua Chaoui; Elhillali Kerkouche WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. of SoftWare (JSW) 7(12): 2874-2885 (2012)
	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)
	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)
	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)

	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)