Laid Kahloul; Allaoua Chaoui; Karim Djouani; Samir Bourekkache; Okba Kazar Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. Int. Workshop on Petri Nets for Adaptive Discrete-Event Control Systems (ADECS'14) (2014)

	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)
	Mohamed Gharzouli Reuse of Legacy Softwares in SOA, A Case Study of the "Next Version" Technique. Int. J. of Web Applications (IJWA) 5(4): 168-175 (2013)
	Fayçal Bachtarzi; Allaoua Chaoui Formal Specification of Web Services Composition.. In book IEEE Symposium on Wireless Technology & Applications (ISWTA'13): 34-39 (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)
	Mohamed Elkamel Hettab; Allaoua Chaoui; Ali Aldahoud; Automatic Test cases generation from UML Activity Diagrams using Graph Transformation. 6th Int. Conf. on Information Technology (ICIT'2013) (2013)
	Mouna Aouag; Allaoua Chaoui From UML class diagrams to Aspect-Oriented Class Diagrams using graph transformation. Int. Conf. on Control, Decision and Information Technologies (CoDIT'13): 458-463 (2013)
	Mohamed Gharzouli Reuse of existing applications during the development of Enterprise Portals integrating Web Services. 10th Maghrebian Conf. on Information Technologies (MCSEAI'08) (2013)
	Djamel Benmerzoug; Mohamed Gharzouli; Mounira Zerari Agent Interaction Protocols in Support of Cloud Services Composition. 6th Int. Conf. on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS'13): 293-304 (2013)
	Tarek Alloui; Imane Boussebough; Allaoua Chaoui An intelligent system for personalized information retrieval: a genetic approach. Int. C* Conf. on Computer Science and Software Engineering (C3S2E'13): 120-124 (2013)
	Wafa Chama; Raida Elmansouri; Allaoua Chaoui Using graph transformation and Maude to simulate and verify UML models. Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE'13): 459-464 (2013)
	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)