Khaled Khalfaoui

According to our database, Khaled Khalfaoui authored at least 10 papers between 2009 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

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

Optimized search for complex protocols based on entanglement detection.

Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui

Quantum Inf. Process., 2022

2021

Automatic design of quantum circuits.

Khaled Khalfaoui, Tahar Boudjedaa, Elhillali Kerkouche

Quantum Inf. Process., 2021

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

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

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

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