Said Meghzili

Said Meghzili

Université de Constantine 2 - Constantine / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 5031849
جامعة قسنطينة 2 عبد الحميد مهري
person_outline Said Meghzili's MOST POPULAR ARTICLES
1-) 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 232017
2-) Verification of model transformations using Isabelle/HOL and ScalaS Meghzili, A Chaoui, M Strecker, E KerkoucheInformation Systems Frontiers 21 (1), 45-65, 2019212019
3-) 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 152020
4-) Transformation and validation of BPMN models to Petri nets models using GROOVES Meghzili, A Chaoui, M Strecker, E Kerkouche2016 International Conference on Advanced Aspects of Software Engineering …, 2016122016
5-) A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systemsR Elmansouri, S Meghzili, A ChaouiComputer Science 22 (2), 202152021