On the verification of UML state machine diagrams to colored petri nets transformation using Isabelle/HOL S Meghzili, A Chaoui, M Strecker, E Kerkouche 2017 IEEE International Conference on Information Reuse and Integration (IRI …, 2017 | 24 | 2017 |
Verification of model transformations using Isabelle/HOL and Scala S Meghzili, A Chaoui, M Strecker, E Kerkouche Information Systems Frontiers 21 (1), 45-65, 2019 | 22 | 2019 |
An approach for the transformation and verification of BPMN models to colored petri nets models S Meghzili, A Chaoui, M Strecker, E Kerkouche International Journal of Software Innovation (IJSI) 8 (1), 17-49, 2020 | 15 | 2020 |
Transformation and validation of BPMN models to Petri nets models using GROOVE S Meghzili, A Chaoui, M Strecker, E Kerkouche 2016 International Conference on Advanced Aspects of Software Engineering …, 2016 | 12 | 2016 |
A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems R Elmansouri, S Meghzili, A Chaoui Computer Science 22 (2), 2021 | 5 | 2021 |
Integrating UML 2.0 Activity Diagrams and Pi-Calculus for Modeling and Verification of Software Systems Using TGG R Elmansouri, S Meghzili, A Chaoui, A Belghiat, O Hedjazi Jordanian Journal of Computers and Information Technology 6 (4), 2020 | 1 | 2020 |
Ingénierie des Logiciels S MEGHZILI | | 2022 |
Formal Verification and Implementation of an E-Voting System S Meghzili, A Chaoui, R Elmansouri, BN Alloui, A Bouabsa International Journal of Software Innovation (IJSI) 10 (1), 1-22, 2022 | | 2022 |
Abdelhani Boukrouche Larbi Sakhri Abdelouahab Laachemi Lyes Badis Abderrahmane Khiat Martin Strecker Ahmed Amar Debza Mohamed Bouchahdane Ahmed Amar Debza Mohamed Bouchahdane A Louazani, M Zellagui, A Benkerrou, MN Lacheheub, A Chaoui, ... | | |