Elhillali Kerkouche

Elhillali Kerkouche

Université de Jijel - Jijel / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 4447676
University of Jijel جامعة جيجل
person_outline Elhillali Kerkouche's MOST POPULAR ARTICLES
1-) UML and colored petri nets integrated modeling and analysis approach using graph transformationO LabbaniJournal of Object Technology 9 (4), 2010662010
2-) On the verification of UML state machine diagrams to colored petri nets transformation using Isabelle/HOLS Meghzili, A Chaoui, M Strecker, E Kerkouche2017 IEEE International Conference on Information Reuse and Integration (IRI …, 2017232017
3-) A Formal Framework and a Tool for the specification and analysis of G-Nets models based on graph transformationE Kerkouche, A ChaouiDistributed Computing and Networking: 10th International Conference, ICDCN …, 2009232009
4-) Verification of model transformations using Isabelle/HOL and ScalaS Meghzili, A Chaoui, M Strecker, E KerkoucheInformation Systems Frontiers 21 (1), 45-65, 2019222019
5-) A framework for modeling and analysis UML activity diagram using graph transformationY Rahmoune, A Chaoui, E KerkoucheProcedia Computer Science 56, 612-617, 2015222015