Said Meghzili; Allaoua Chaoui; Raida El Mansouri; Bardis Nadjla Alloui; Amina Bouabsa Formal Verification and Implementation of an E-Voting System. Int. J. of Software Innovation (IJSI) 10(1): 1-20 (2022)

Raida Elmansouri; Said Meghzili; Allaoua Chaoui A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021)

	Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020)
	Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020)
	Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi

Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)

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)

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)