Said Meghzili

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 6

Top Topics

Uml Activity Diagrams

Top Venues

Int. J. Softw. Innov.

Inf. Syst. Frontiers

Publications

Said Meghzili, Allaoua Chaoui, Raida Elmansouri, Bardis Nadjla Alloui, Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. Softw. Innov. 10 (1) (2022)
Raida Elmansouri, Said Meghzili, Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Comput. Sci. 22 (2) (2021)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. Softw. Innov. 8 (1) (2020)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers 21 (1) (2019)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI (2017)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE (2016)