Sohaib Soualah; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul; Yousra Hafidi Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. 15th Int. Conf. on Software Technologies (ICSOFT'2020): 227-241 (2020)
	Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laïd Kahloul Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. Int. Conf. on Software Technologies (ICSOFT'20) (2020)
	Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi

	Fayçal Guerrouf; Allaoua Chaoui A graph transformation based approach for multi-agent systems reorganization. Multiagent and Grid Systems 15(4): 375-394 (2019)
	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)
	Amel meliouh; Allaoua Chaoui Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. Int. J. of Conceptual Structures and Smart Applications (IJCSSA) 6(2): 42-58 (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)
	Khalil Elbaz; Allaoua Chaoui An Empirical Study to Improve Software Quality through Design Patterns. Int. J. of Industrial and Systems Engineering 29(1): 74 - 94 (2018)
	Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
	Aouatef Chaib; Imane Boussebough; Allaoua Chaoui Adaptive service composition in an ambient environment with a multi-agent system. J. of Ambient Intelligence and Humanized Computing (JAIHC) 9(2): 367-380 (2018)
	Mohamed Boubakir; Allaoua Chaoui An Incremental Approach for the Extraction of Software Product Lines from Model Variants. Int. Conf. on Computer Science and its Applications (CSA'18): 124-134 (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)
	Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou El Hasan Benyamina A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL'18): 290-300 (2018)
	Mohamed Boubakir; Allaoua Chaoui An Incremental Approach for the Extraction of Software Product Lines from Model Variants. 3rd Int. Conf. on Computer Science and its Applications: 124-134 (2018)

	Rabah Mokhtari; Allaoua Chaoui Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL. Int. J. of Communication Networks and Distributed Systems (IJCNDS) 19(4): 406-433 (2017)
	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)
	Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui Using MDA With Model Checking to Ensure the Development of Consistent AADL Models. Int. Conf. on Embedded & Distributed Systems (EDiS’17) (2017)