Transformation and validation of BPMN models to Petri nets models using GROOVE. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (ICAASE, 2016)

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (IRI, 2017)

Verification of Model Transformations Using Isabelle/HOL and Scala. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Inf. Syst. Frontiers, 2019)

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Int. J. Softw. Innov., 2020)

A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. - Raida Elmansouri; Said Meghzili; Allaoua Chaoui (Comput. Sci., 2021)

Formal Verification and Implementation of an E-Voting System. - Said Meghzili; Allaoua Chaoui; Raida Elmansouri; Bardis Nadjla Alloui; Amina Bouabsa (Int. J. Softw. Innov., 2022)