Transforming UML models to colored Petri nets models using graph grammars E Kerkouche, A Chaoui, K Khalfaoui 2009 IEEE Symposium on Computers and Communications, 230-236, 2009 | 17 | 2009 |
Uml activity diagrams and maude integrated modeling and analysis approach using graph transformation E Kerkouche, K Khalfaoui, A Chaoui, A Aldahoud Proceedings of the 7th International Conference on Information Technology …, 2015 | 11 | 2015 |
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach E Kerkouche, K Khalfaoui, A Chaoui International Journal of Computer Aided Engineering and Technology 12 (2 …, 2020 | 9 | 2020 |
A graph transformation approach to generate analysable maude specifications from UML interaction overview diagrams C Djaoui, E Kerkouche, A Chaoui, K Khalfaoui 2018 IEEE International Conference on Information Reuse and Integration (IRI …, 2018 | 9 | 2018 |
From uml statecharts and collaboration diagrams to coloured petri nets models: A graph transformation based approach for modelling and analysis of business processes in virtual … R ElMansouri, A Chaoui, E Kerkouche, K Khalfaoui 2009 Fourth South-East European Workshop on Formal Methods, 73-78, 2009 | 9 | 2009 |
Automatic design of quantum circuits: generation of quantum teleportation protocols K Khalfaoui, T Boudjedaa, EH Kerkouche Quantum Information Processing 20 (9), 283, 2021 | 8 | 2021 |
An automatic approach to transform BPMN models to Pi-Calculus R Boussetoua, H Bennoui, A Chaoui, K Khalfaoui, E Kerkouche 2015 IEEE/ACS 12th International Conference of Computer Systems and …, 2015 | 7 | 2015 |
An Automatic approach to verify business process models using INA petri nets analyzer E Kerkouche, R Elmansouri, A Chaoui, K Khalfaoui International Journal of Computer and Information Technology 3 (4), 706-711, 2014 | 7 | 2014 |
Optimized search for complex protocols based on entanglement detection K Khalfaoui, EH Kerkouche, T Boudjedaa, A Chaoui Quantum Information Processing 21 (6), 226, 2022 | 4 | 2022 |
Structural validation of software product line variants: A graph transformations based approach K Khalfaoui, A Chaoui, C Foudil, E Kerkouche | 4 | 2013 |
Automatic generation of SPL structurally valid products using graph transformations approach K Khalfaoui, A Chaoui, C Foudil, E Kerkouche Modeling Approaches and Algorithms for Advanced Computer Applications, 347-356, 2013 | 4 | 2013 |
Formal Specification of Software Product Lines: A Graph Transformation Based Approach. K Khalfaoui, A Chaoui, C Foudil, E Kerkouche J. Softw. 7 (11), 2518-2532, 2012 | 4 | 2012 |
Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations K Khalfaoui, E Kerkouche, A Chaoui, C Foudil 2015 6th International Conference on Information and Communication Systems …, 2015 | 3 | 2015 |
Optimized exploration of quantum circuits space based on sub-circuits equivalences K Khalfaoui, EH Kerkouche, T Boudjedaa, A Chaoui Quantum Information Processing 22 (1), 71, 2023 | 1 | 2023 |
Combined use of PBMN and rewriting logic for specification and analysis of IoT applications S Abbas, EH Kerkouche, K Khalfaoui, A Chaoui International Symposium on Modelling and Implementation of Complex Systems …, 2022 | 1 | 2022 |
Generating Maude specifications from UML interaction overview diagrams: a graph transformation based approach C Djaoui, E Kerkouche, A Chaoui, K Khalfaoui 2018 Fifth International Symposium on Innovation in Information and …, 2018 | 1 | 2018 |
Une approche de specification des changements de besoins basée transformations de graphes K Khalfaoui Université Mohamed Khider Biskra, 2014 | 1 | 2014 |
Entanglement swapping via quantum zeno dynamics in noisy environment K Khalfaoui, EH Kerkouche, T Boudjedaa, A Chaoui Quantum Information Processing 23 (2), 1-20, 2024 | | 2024 |
Une Approche Outillée pour l’Intégration des Processus Métier (BPMN) dans le Développement des Applications de l’Internet des Objets M Méghaichi, H Meghlaoui, EE Kerkouche, KE Khalfaoui université de jijel, 2022 | | 2022 |
Détection de l'intrication des états quantiques C Bernou, I Tebibel, K Khalfaoui, E Kerkouche Université de jijel, 2022 | | 2022 |