Said Meghzili

According to our database, Said Meghzili authored at least 6 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

2021

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

2020

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

2019

Verification of Model Transformations Using Isabelle/HOL and Scala.

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Inf. Syst. Frontiers, 2019

2017

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

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

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

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016