Skip to content
cs-conference-ranking.org

Elhillali Kerkouche

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

6

Active years

2008–2018

Best venue rank

National

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2018IRIA Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
2017IRIOn the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2015AICCSAAn automatic approach to transform BPMN models to Pi-Calculus.Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche
2015FNCA Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation.Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
2009ICDCNA Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.Elhillali Kerkouche, Allaoua Chaoui
2009ISCCTransforming UML models to colored petri nets models using graph grammars.Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
2008CAINEA Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line.Amel Meliouh, Elhillali Kerkouche, Allaoua Chaoui