Elhillali KERKOUCHE
...
HDR
Univ. de Jijel
Equipe : MFGL

Research Gate DBLP Google Scholar
Détails
5 dernières publications
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Information Processing 22(1) (2023)
Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui
Formal Verification of IoT Applications Using Rewriting Logic: An MDE-Based Approach. Science of Computer Programming 222: 102859 (2022)
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)
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa
Automatic design of quantum circuits: generation of quantum teleportation protocols. Quantum Information Processing 20(9) (2021)
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)
Thèse de doctorat
Elhillali Kerkouche
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes. Université Mentouri de Constantine, Algérie (2011)