Elhillali KERKOUCHE
...
PhD & HDR
Univ. de Jijel
Team : MFGL

ResearchGate DBLP Google Scholar
Details
5 recent publications
Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. of Computer Aided Engineering and Technology 16(3): 379-415 (2022)
Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020)
Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020)
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018)
Elhillali Kerkouche; Elbey Bourennane; Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e-Informatica Software Engineering J. 12(1): 9–26 (2018)
PhD thesis
Elhillali Kerkouche
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes. Université Mentouri de Constantine, Algérie (2011)