Elhillali Kerkouche

According to our database, Elhillali Kerkouche authored at least 32 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Entanglement swapping via quantum zeno dynamics in noisy environment.

Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui

Quantum Inf. Process., February, 2024

2023

Improving consistency of AADL models: A composition approach.

Mohamed Elkamel Hamdane, Saad Harous, Elhillali Kerkouche, Nabil Messaoudi

Syst. Eng., May, 2023

Optimized exploration of quantum circuits space based on sub-circuits equivalences.

Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui

Quantum Inf. Process., January, 2023

2022

Formal verification of IoT applications using rewriting logic: An MDE-based approach.

Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui

Sci. Comput. Program., 2022

Optimized search for complex protocols based on entanglement detection.

Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui

Quantum Inf. Process., 2022

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

2021

Automatic design of quantum circuits.

Khaled Khalfaoui, Tahar Boudjedaa, Elhillali Kerkouche

Quantum Inf. Process., 2021

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

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

2019

Verification of Model Transformations Using Isabelle/HOL and Scala.

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Inf. Syst. Frontiers, 2019

2018

Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach.

Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui

Int. J. Embed. Syst., 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

A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.

Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

2017

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study.

Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem

J. Comput. Inf. Technol., 2016

Transformation and validation of BPMN models to Petri nets models using GROOVE.

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2015

From UML Statecharts to LOTOS Expressions Using Graph Transformation.

Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui

Proceedings of the Information and Software Technologies - 21st International Conference, 2015

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation.

Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams.

Abdelkamel Hettab, Elhillali Kerkouche, Allaoua Chaoui

Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, 2015

A New Approach for Generating LOTOS Specifications from UML Dynamic Models.

Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui

Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, 2015

An automatic approach to transform BPMN models to Pi-Calculus.

Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2013

Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach.

Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

2012

Formal Specification of Software Product Lines: A Graph Transformation Based Approach.

Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche

J. Softw., 2012

WS-mcv: An Efficient Model Driven Methodology for Web Services Composition.

Fayçal Bachtarzi, Allaoua Chaoui, Elhillali Kerkouche

J. Softw., 2012

An automatic generation approach of B Specifications From UML Diagrams.

Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui

Proceedings of the Seventh International Conference on Digital Information Management, 2012

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

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

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

Proceedings of the 2nd International Conference on Image Processing Theory Tools and Applications, 2010

2009

Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach.

Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Transforming UML models to colored petri nets models using graph grammars.

Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.

Elhillali Kerkouche, Allaoua Chaoui

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008

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

Proceedings of the ISCA 21st International Conference on Computer Applications in Industry and Engineering, 2008