Elhillali Kerkouche

34 papers C 3Misc 3Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Co-evolution of UML sequence diagrams through an ATL rule-based approach with semantic preservation in Maude.
Sci. Comput. Program.
Asma Chouikh, Khaled Khalfaoui, Elhillali Kerkouche, Allaoua Chaoui
2025 J jnl
High-level petri nets based approach for designing and analyzing IoT systems.
Internet Things
Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui
2024 J jnl
Entanglement swapping via quantum zeno dynamics in noisy environment.
Quantum Inf. Process.
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
2023 J jnl
Improving consistency of AADL models: A composition approach.
Syst. Eng.
Mohamed Elkamel Hamdane, Saad Harous, Elhillali Kerkouche, Nabil Messaoudi
2023 J jnl
Optimized exploration of quantum circuits space based on sub-circuits equivalences.
Quantum Inf. Process.
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
2022 J jnl
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach.
Int. J. Comput. Aided Eng. Technol.
Abdelkamel Hettab, Allaoua Chaoui, Mohamed Boubakir, Elhillali Kerkouche
2022 J jnl
Formal verification of IoT applications using rewriting logic: An MDE-based approach.
Sci. Comput. Program.
Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui
2022 J jnl
Optimized search for complex protocols based on entanglement detection.
Quantum Inf. Process.
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
2021 J jnl
Automatic design of quantum circuits.
Quantum Inf. Process.
Khaled Khalfaoui, Tahar Boudjedaa, Elhillali Kerkouche
2020 J jnl
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach.
Int. J. Comput. Aided Eng. Technol.
Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui
2020 J jnl
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models.
Int. J. Softw. Innov.
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2019 J jnl
Verification of Model Transformations Using Isabelle/HOL and Scala.
Inf. Syst. Frontiers
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2018 Misc conf
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.
IRI
Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
2018 J jnl
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach.
e Informatica Softw. Eng. J.
Elhillali Kerkouche, El-Bay Bourennane, Allaoua Chaoui
2018 J jnl
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach.
Int. J. Embed. Syst.
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
2017 Misc conf
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.
IRI
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2016 J jnl
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study.
J. Comput. Inf. Technol.
Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem
2016 — conf
Transformation and validation of BPMN models to Petri nets models using GROOVE.
ICAASE
Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2015 — conf
A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation.
FNC/MobiSPC
Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
2015 — conf
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams.
C3S2E
Abdelkamel Hettab, Elhillali Kerkouche, Allaoua Chaoui
2015 — conf
A New Approach for Generating LOTOS Specifications from UML Dynamic Models.
C3S2E
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
2015 C conf
An automatic approach to transform BPMN models to Pi-Calculus.
AICCSA
Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche
2015 — conf
From UML Statecharts to LOTOS Expressions Using Graph Transformation.
ICIST
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
2013 — ch.
Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach.
Modeling Approaches and Algorithms for Advanced Computer Applications
Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche
2012 — conf
An automatic generation approach of B Specifications From UML Diagrams.
ICDIM
Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui
2012 J jnl
Formal Specification of Software Product Lines: A Graph Transformation Based Approach.
J. Softw.
Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche
2012 J jnl
WS-mcv: An Efficient Model Driven Methodology for Web Services Composition.
J. Softw.
Fayçal Bachtarzi, Allaoua Chaoui, Elhillali Kerkouche
2010 J jnl
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.
J. Object Technol.
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
2010 — conf
Memory requirements and simulation platform for the implementation of the H.264 encoder modules.
IPTA
Kamel Messaoudi, El-Bay Bourennane, Salah Toumi, Elhillali Kerkouche, Ouassila Labbani
2010 J jnl
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
J. Softw.
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
2009 Misc conf
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.
ICDCN
Elhillali Kerkouche, Allaoua Chaoui
2009 — conf
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach.
SEDE
Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani
2009 C conf
Transforming UML models to colored petri nets models using graph grammars.
ISCC
Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
2008 C conf
A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line.
CAINE
Amel Meliouh, Elhillali Kerkouche, Allaoua Chaoui