Nabil Messaoudi; Allaoua Chaoui; Mourad Derardja; Mohamed Bettaz On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. 7th Int. Conf. on Ambient Systems, Networks andTechnologies (ANT'16): 658-664 (2016)

	Sofiane Chemaa; Mouna Bouarioua; Allaoua Chaoui A high-level Petri net based model for web services composition and verification. Int. J. of Computer Applications in Technology (IJCAT) 51(4): 306-323 (2015)
	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: 88–97 (2015)
	Khaled Khalfaoui; Elhillali Kerkouche; Allaoua Chaoui; Cherif Foudil Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations. Int. Conf. on Information and Communication Systems (ICICS'15): 25-31 (2015)
	Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui A New Approach for Generating LOTOS Specifications from UML Dynamic Models. 8th Int. C* Conf. on Computer Science \& Software Engineering (C3S2E'15): 138-143 (2015)
	Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui From UML Statecharts to LOTOS Expressions Using Graph Transformation. 21st Int. Conf. on Information and Software Technologies (ICIST'15): 548-559 (2015)
	Yasmina Rahmoune; Allaoua Chaoui; Elhillali Kerkouche A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. 10th Int. Conf. on Future Networks and Communications (FNC'15): 612-617 (2015)
	Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. 10th Int. Conf. on Future Networks and Communications (FNC '15): 604-611 (2015)
	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)
	Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche An automatic approach to transform BPMN models to Pi-Calculus. 12th Int. Conf. of Computer Systems and Applications (AICCSA'15): 1-8 (2015)

	Mohamed Gharzouli; Youcef Messelem; Mohamed Elhadi Bounas TTL-Chord: A Chord-based Approach for Semantic Web Services Discovery. Scalable Computing: Practice and Experience (SCPE) 15(1): 89-99 (2014)
	Mohamed Gharzouli; Derdour Makhlouf To Implement an Open-MAS Architecture for Semantic Web Services Discovery: What Kind of P2P Protocol Do We Need?. Int. J. of Agent Technologies and Systems (IJATS) 6(3): 58-71 (2014)
	Aissam Belghiat; Allaoua Chaoui; Mourad Maouche; Mokhtar Beldjehem Formalization of Mobile UML Statechart Diagrams Using the pi-calculus: An Approach for Modeling and Analysis. Int. Conf. on Information and Software Technologies: 236-247 (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)
	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 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)
	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)

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)