Khaled Khalfaoui

12 papers C 2Misc 1Journal 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
Quantum circuits composition for complex protocols: double-direction cyclic controlled teleportation.
Quantum Inf. Process.
Khaled Khalfaoui, Tahar Boudjedaa
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
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
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
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
2015 C conf
An automatic approach to transform BPMN models to Pi-Calculus.
AICCSA
Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche
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 J jnl
Formal Specification of Software Product Lines: A Graph Transformation Based Approach.
J. Softw.
Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche
2009 C conf
Transforming UML models to colored petri nets models using graph grammars.
ISCC
Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui