Concepedia

Said Meghzili

SM

4

Publications

55

Citations

4

H-Index

2016

Active since

Affiliations

Université Constantine 2(Current)

Université Toulouse III - Paul Sabatier

University of Jijel

Institut de Recherche en Informatique de Toulouse

University of Constantine 3

Said Meghzili is an author at Université Constantine 2 specializing in computer science, formal methods, and engineering.

ORCID

Top concepts

Publications per year

2016–2019

4

Publications

4

Verification of Model Transformations Using Isabelle/HOL and Scala

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · Information Systems Frontiers · 2018 · 16 citations

, , +7

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · International Journal of Software Innovation · 2019 · 15 citations

, , +20

Transformation and validation of BPMN models to Petri nets models using GROOVE

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · 2016 · 12 citations

, , +23

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL

Said Meghzili, Allaoua Chaoui, Martin Strecker et al. · 2017 · 12 citations

, , +19

Rows per page

1–4 of 4