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)
	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)
	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)
	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 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)
	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)
	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)
	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)
	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)

	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)
	Laïd Kahloul; Allaoua Chaoui Code mobility modeling: a temporal labeled reconfigurable nets. 1st Int. Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE'08): 34 (2008)

	Noura Boudiaf; Kamel Barkaoui; Allaoua Chaoui Implémentation des règles de réduction des ECATNets dans Maude. : 505-514 (2006)
	Noura Boudiaf; Allaoua Chaoui; Kamel Barkaoui Applying reduction rules to ECATNets. 5th Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'06): 42-55 (2006)

	Noura Boudiaf; Allaoua Chaoui A rewriting Logic Based Tool for Automated Support of ECATNets Reachability Analysis. Int. Conf. on Computer Science, Software Engineering, Information Technology, e-Business and Applications (CSITeA’04) (2004)
	Noura Boudiaf; Allaoua Chaoui Dynamic Analysis Algorithm for ECATNets. Int. workshop on Modelling of Objects, Components, and Agents (MOCA'04): 47-63 (2004)
	Noura Boudiaf; Allaoua Chaoui Towards Automated Analysis of Ada-95 Tasking Behavior Using Rewriting Logic. ISIIT'04 (2004)