Khaled Khalfaoui

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 6

Top Topics

Graph Transformation

Audio Visual Speech Recognition

Unified Modeling Language

Top Venues

Quantum Inf. Process.

Int. J. Comput. Aided Eng. Technol.

Publications

Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Entanglement swapping via quantum zeno dynamics in noisy environment. Quantum Inf. Process. 23 (2) (2024)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Inf. Process. 22 (1) (2023)
Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui
Optimized search for complex protocols based on entanglement detection. Quantum Inf. Process. 21 (6) (2022)
Khaled Khalfaoui, Tahar Boudjedaa, Elhillali Kerkouche
Automatic design of quantum circuits. Quantum Inf. Process. 20 (8) (2021)
Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. Comput. Aided Eng. Technol. 12 (2) (2020)
Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. IRI (2018)
Riad Boussetoua, Hammadi Bennoui, Allaoua Chaoui, Khaled Khalfaoui, Elhillali Kerkouche
An automatic approach to transform BPMN models to Pi-Calculus. AICCSA (2015)
Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. Softw. 7 (11) (2012)
Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui
Transforming UML models to colored petri nets models using graph grammars. ISCC (2009)