Said MEGHZILI
...
Maître de conférences
Univ. Constantine 2
Equipe : MFGL
CV

Research Gate DBLP Google Scholar LinkedIn
Détails
Publications
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)
Thèse de doctorat
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)