A 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 (CAINE, 2008)

A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. - Elhillali Kerkouche; Allaoua Chaoui (ICDCN, 2009)

Transforming UML models to colored petri nets models using graph grammars. - Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui (ISCC, 2009)

Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. - Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani (SEDE, 2009)

Memory requirements and simulation platform for the implementation of the H.264 encoder modules. - Kamel Messaoudi; El-Bay Bourennane; Salah Toumi; Elhillali Kerkouche; Ouassila Labbani (IPTA, 2010)

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. - Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani (J. Object Technol., 2010)

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. - Elhillali Kerkouche; Allaoua Chaoui; El-Bay Bourennane; Ouassila Labbani (J. Softw., 2010)

An automatic generation approach of B Specifications From UML Diagrams. - Seidali Rehab; Elhillali Kerkouche; Allaoua Chaoui (ICDIM, 2012)

WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. - Fayçal Bachtarzi; Allaoua Chaoui; Elhillali Kerkouche (J. Softw., 2012)

Formal Specification of Software Product Lines: A Graph Transformation Based Approach. - Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche (J. Softw., 2012)

Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach. - Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

An automatic approach to transform BPMN models to Pi-Calculus. - Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche (AICCSA, 2015)

A New Approach for Generating LOTOS Specifications from UML Dynamic Models. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (C3S2E, 2015)

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. - Abdelkamel Hettab; Elhillali Kerkouche; Allaoua Chaoui (C3S2E, 2015)

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation. - Yasmina Rahmoune; Allaoua Chaoui; Elhillali Kerkouche (FNC/MobiSPC, 2015)

From UML Statecharts to LOTOS Expressions Using Graph Transformation. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (ICIST, 2015)

Transformation and validation of BPMN models to Petri nets models using GROOVE. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (ICAASE, 2016)

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. - Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem (J. Comput. Inf. Technol., 2016)

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (IRI, 2017)

A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. - Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui (IRI, 2018)

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. - Elhillali Kerkouche; El-Bay Bourennane; Allaoua Chaoui (e Informatica Softw. Eng. J., 2018)

Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (Int. J. Embed. Syst., 2018)

Verification of Model Transformations Using Isabelle/HOL and Scala. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Inf. Syst. Frontiers, 2019)

A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. - Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui (Int. J. Comput. Aided Eng. Technol., 2020)

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. - Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche (Int. J. Softw. Innov., 2020)

Automatic design of quantum circuits. - Khaled Khalfaoui; Tahar Boudjedaa; Elhillali Kerkouche (Quantum Inf. Process., 2021)

Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. - Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche (Int. J. Comput. Aided Eng. Technol., 2022)

Optimized search for complex protocols based on entanglement detection. - Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui (Quantum Inf. Process., 2022)

Formal verification of IoT applications using rewriting logic: An MDE-based approach. - Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui (Sci. Comput. Program., 2022)

Optimized exploration of quantum circuits space based on sub-circuits equivalences. - Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui (Quantum Inf. Process., 2023)

Improving consistency of AADL models: A composition approach. - Mohamed Elkamel Hamdane; Saad Harous; Elhillali Kerkouche; Nabil Messaoudi (Syst. Eng., 2023)

Entanglement swapping via quantum zeno dynamics in noisy environment. - Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui (Quantum Inf. Process., 2024)