Elhillali Kerkouche

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 21

Top Topics

Graph Transformation

Formal Verification

Top Venues

Quantum Inf. Process.

Int. J. Comput. Aided Eng. Technol.

Publications

Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Entanglement swapping via quantum zeno dynamics in noisy environment. Quantum Inf. Process. 23 (2) (2024)
Mohamed Elkamel Hamdane, Saad Harous, Elhillali Kerkouche, Nabil Messaoudi
Improving consistency of AADL models: A composition approach. Syst. Eng. 26 (3) (2023)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Inf. Process. 22 (1) (2023)
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. Comput. Aided Eng. Technol. 16 (3) (2022)
Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui
Formal verification of IoT applications using rewriting logic: An MDE-based approach. Sci. Comput. Program. 222 (2022)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Optimized search for complex protocols based on entanglement detection. Quantum Inf. Process. 21 (6) (2022)
Khaled Khalfaoui, Tahar Boudjedaa, Elhillali Kerkouche
Automatic design of quantum circuits. Quantum Inf. Process. 20 (8) (2021)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. Softw. Innov. 8 (1) (2020)
Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. Comput. Aided Eng. Technol. 12 (2) (2020)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers 21 (1) (2019)
Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. IRI (2018)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. Embed. Syst. 10 (6) (2018)
Elhillali Kerkouche, El-Bay Bourennane, Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e Informatica Softw. Eng. J. 12 (1) (2018)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI (2017)
Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. Comput. Inf. Technol. 24 (2) (2016)
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE (2016)
Abdelkamel Hettab, Elhillali Kerkouche, Allaoua Chaoui
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. C3S2E (2015)
Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. FNC/MobiSPC (2015)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. C3S2E (2015)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
From UML Statecharts to LOTOS Expressions Using Graph Transformation. ICIST (2015)
Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche
An automatic approach to transform BPMN models to Pi-Calculus. AICCSA (2015)
Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. Softw. 7 (11) (2012)
Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui
An automatic generation approach of B Specifications From UML Diagrams. ICDIM (2012)
Fayçal Bachtarzi, Allaoua Chaoui, Elhillali Kerkouche
WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. Softw. 7 (12) (2012)
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. J. Object Technol. 9 (4) (2010)
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. J. Softw. 5 (11) (2010)
Kamel Messaoudi, El-Bay Bourennane, Salah Toumi, Elhillali Kerkouche, Ouassila Labbani
Memory requirements and simulation platform for the implementation of the H.264 encoder modules. IPTA (2010)
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. SEDE (2009)
Elhillali Kerkouche, Allaoua Chaoui
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. ICDCN (2009)
Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
Transforming UML models to colored petri nets models using graph grammars. ISCC (2009)
Amel Meliouh, Elhillali Kerkouche, Allaoua Chaoui
A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. CAINE (2008)