Laid Kahloul; Karim Djouani; Allaoua Chaoui Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets based approach. 6th Int. Conf. on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS'13): 106-117 (2013)

	Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui On Structural Analysis Of Interacting Behavioral Petri Nets For Distributed Causal Model-Based Diagnosis. Int. J. Of Foundations Of Computer Science 23(7): 1523-1541 (2012)
	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)
	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)

Mohamed Elkamel Hamdane; Allaoua Chaoui Specification and Verification of Timed Automaton using Meta-Modeling and Graph Grammars. 4th Int. Conf. on the Applications of Digital Information and Web Technologies (ICADIWT'11): 137-142 (2011)

	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)
	Laid Kahloul; Karim Djouani; Walid Tfaili; Allaoua Chaoui; Yacine Amirat Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. Int. Conf. on Networked Digital Technologies (NDT'10): 604-618 (2010)
	Laid Kahloul; Allaoua Chaoui; Karim Djouani Modeling Reconfirgurable Systems Using Flexible Petri Nets. 4th IEEE Int. Symp. on Theoretical Aspects of Software Engineering (TASE'10): 107-116 (2010)

	Elhillali Kermouche; Allaoua Chaoui A graphical tool support to process and simulate ECATNets models based on meta-modelling and graph grammars. INFOCOMP J. of Computer Science 8(4): 37-44 (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)
	Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets. Int. Symp. on Innovation in Informations and Communication Technology (ISIICT'09): 186-196 (2009)
	Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. 8th Int. Symp. on Parallel and Distributed Computing (ISPDC’09): 99-106 (2009)

	Laid Kahloul; Allaoua Chaoui Coloured Reconfigurable Nets For Code Mobility Modeling. Int. J. of Computers, Communications & Control (IJCCC) 3: 358-363 (2008)
	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)