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

	Laid Kahloul; Samir Bourekkache; Karim Djouani; Allaoua Chaoui; Okba Kazar Using high level Petri nets in the modelling, simulation and verification of reconfigurable manufacturing systems. Int. J. of Software Enegineering and Knowledge Engineering 24(3): 419-443 (2014)
	Seidali Rehab; Allaoua Chaoui; Jérémy Buisson; Mohamed Ayache; Mohammed Zeghib Triple Graph Transformation of UML Structural Diagrams to the B Method Using TGG-Interpreter. Int. Symp. on Modeling and Implementation of Complexe Systems (MISC'14) (2014)
	Serial Boussalia; Allaoua Chaoui Optimizing QoS-Based Web Services Composition by Using Quantum Inspired Cuckoo Search Algorithm. Int. Conf. on Mobile Web and Information Systems: 41-55 (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)
	Nabil Berrehouma; Allaoua Chaoui; Elbey Bourennane A Model Driven Engineering Approach for Soc Design with Archc/Systemc. Int. Symp. on Modeling and Implementation of Complexe Systems (MISC'14) (2014)
	Aouatef Chaib; Iman Boussebough; Allaoua Chaoui Adaptive composition of services in context-aware ambient intelligent systems. Int. C* Conf. on Computer Science & Software Engineering (C3S2E'14): 1-5 (2014)
	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)
	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)
	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)
	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)