Abderraouf Dembri; Mohamed Gharzouli Graph-based Model for Negative e-WOM Influence in Social Media. 5th Int. Conf. on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech): 1-6 (2020)
	Anfel Selmadji; Abdelhak-Djamel Seriai; Hinde-Lilia Bouziane; Rahina Oumarou Mahamane; Pascal Zaragoza; Christophe Dony From Monolithic Architecture Style to Microservice one Based on a Semi-Automatic Approach. Int. Conf. on Software Architecture (ICSA): 157-168 (2020)
	Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi

	Aissam Belghiat; Allaoua Chaoui A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019)
	Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. of Computational Vision and Robotics 9(2): 172-191 (2019)

	Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018)
	Elhillali Kerkouche; Elbey Bourennane; Allaoua Chaoui A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e-Informatica Software Engineering J. 12(1): 9–26 (2018)
	Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
	Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. Int. Conf. on Information Reuse and Integration (IRI'18): 511-517 (2018)

	Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 8(2): 1-23 (2017)
	Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. Int. Conf. on Big Data and Internet of Things (BDIOT'17): 115-119 (2017)
	Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli Cloud Service Composition Modeling Using Bigraphical Reactive Systems. 21st Int. Database Engineering & Applications Symp. (IDEAS'17): 40-48 (2017)
	Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. 18th IEEE Int. Conf. on Information Reuse and Integration (IRI'17): 419-426 (2017)

	Mohamed Gharzouli Reuse and Improvement of Peersim Open Source Packages: A Case Study with Chord and Cloudcast. Int. J. of Open Source Software and Processes (IJOSSP) 7(3): 39-55 (2016)
	Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. of Computing and Information Technology (CIT) 24(2): 149-163 (2016)
	Aissam Belghiat; Allaoua Chaoui Mapping Mobile Statechart Diagrams to the pi-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. Int. J. of Intelligent Information Technologies (IJIIT) 12(4): 1-20 (2016)
	Redouane Nouara; Allaoua Chaoui A Checking Service Composition Approach based on Model Transformation. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 7(1): 30-47 (2016)
	Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem Capturing and Verifying Dynamic Systems Behavior Using UML and π -Calculus.. In book Advances in Intelligent Systems and Computing: 59-84 (2016)
	Aissam Belghiat; Allaoua Chaoui; Mokhtar Beldjehem Capturing and Verifying Dynamic Systems Behavior Using UML and π-calculus. Theoretical Information Reuse and Integration (IRI): 59-84 (2016)
	Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche Transformation and validation of BPMN models to Petri nets models using GROOVE. 2nd Int. Conf. on Advanced Aspects of Software Engineering (ICAASE'16): 22-29 (2016)