Follow
Elhillali Kerkouche
Elhillali Kerkouche
Associate Professor , department of Computer science, Mohamed Seddik Ben Yahia University, Jijel
Verified email at univ-jijel.dz
Title
Cited by
Cited by
Year
A UML and colored Petri nets integrated modeling and analysis approach using graph transformation
O Labbani
Journal of Object Technology 9 (4), 2010
662010
A Formal Framework and a Tool for the specification and analysis of G-Nets models based on graph transformation
E Kerkouche, A Chaoui
Distributed Computing and Networking: 10th International Conference, ICDCN …, 2009
232009
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
222017
A framework for modeling and analysis UML activity diagram using graph transformation
Y Rahmoune, A Chaoui, E Kerkouche
Procedia Computer Science 56, 612-617, 2015
222015
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
212019
Transforming UML models to colored Petri nets models using graph grammars
E Kerkouche, A Chaoui, K Khalfaoui
2009 IEEE Symposium on Computers and Communications, 230-236, 2009
172009
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
162020
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
E Kerkouche, A Chaoui, EB Bourennane, O Labbani
J. Softw. 5 (11), 1279-1291, 2010
162010
A graph transformation approach for automatic test cases generation from UML activity diagrams
A Hettab, E Kerkouche, A Chaoui
Proceedings of the Eighth International C* Conference on Computer Science …, 2015
142015
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
122016
Mobile agent-based software systems modeling approaches: A comparative study
A Belghiat, E Kerkouche, A Chaoui, M Beldjehem
Journal of computing and information technology 24 (2), 149-163, 2016
122016
Uml activity diagrams and maude integrated modeling and analysis approach using graph transformation
E Kerkouche, K Khalfaoui, A Chaoui, A Aldahoud
Proceedings of the 7th International Conference on Information Technology …, 2015
112015
Transforming mobile UML statecharts models to nested nets models using graph grammars: an approach for modeling and analysis of mobile agent-based software systems
MR Bahri, A Hettab, A Chaoui, E Kerkouche
2009 Fourth South-East European Workshop on Formal Methods, 33-39, 2009
112009
A graphical tool support to process and simulate ecatnets models based on meta-modelling and graph grammars
E Kerkouche, A Chaou
INFOCOMP Journal of Computer Science 8 (4), 37-44, 2009
102009
A Graphical Environment for Petri Nets INA Tool Based on Meta-Modelling and Graph Grammars
R El Mansouri, E Kerkouche, A Chaoui
Proceedings of World Academy of Science. Engineering and Technology 34, 2008
102008
Formal verification of IoT applications using rewriting logic: An MDE-based approach
A Fortas, E Kerkouche, A Chaoui
Science of Computer Programming 222, 102859, 2022
92022
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach
E Kerkouche, K Khalfaoui, A Chaoui
International Journal of Computer Aided Engineering and Technology 12 (2 …, 2020
92020
A graph transformation approach to generate analysable maude specifications from UML interaction overview diagrams
C Djaoui, E Kerkouche, A Chaoui, K Khalfaoui
2018 IEEE International Conference on Information Reuse and Integration (IRI …, 2018
92018
From uml statecharts and collaboration diagrams to coloured petri nets models: A graph transformation based approach for modelling and analysis of business processes in virtual …
R ElMansouri, A Chaoui, E Kerkouche, K Khalfaoui
2009 Fourth South-East European Workshop on Formal Methods, 73-78, 2009
92009
Automatic design of quantum circuits: generation of quantum teleportation protocols
K Khalfaoui, T Boudjedaa, EH Kerkouche
Quantum Information Processing 20 (9), 283, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–20