Said MEGHZILI
...
PhD
Univ. Constantine 2
Team : MFGL
CV

ResearchGate DBLP Google Scholar LinkedIn
Details
5 recent publications
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)
PhD thesis
Said Meghzili
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes. Université Constantine 2, Algérie (2019)