Publications
Résultat de la recherche : Equipe = MFGL
2023
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Information Processing 22(1) (2023)
Radja Hamli; Allaoua Chaoui; Raida El Mansouri; Ali Khebizi
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution. Int. J. of Organizational and Collective Intelligence (IJOCI) 13(1) (2023)
2022
Houda Hamrouche; Allaoua Chaoui; Smaine Mazouzi
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Computing and Informatics (CAI) 41(5): 1284-1309 (2022)
Said Meghzili; Allaoua Chaoui; Raida El Mansouri; Bardis Nadjla Alloui; Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. of Software Innovation (IJSI) 10(1): 1-20 (2022)
Yasmina Rahmoune; Allaoua Chaoui
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Computer Science 23(3): 411-447 (2022)
Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui
Formal Verification of IoT Applications Using Rewriting Logic: An MDE-Based Approach. Science of Computer Programming 222: 102859 (2022)
Mohammed Mounir Bouhamed; Allaoua Chaoui; Redouane Nouara; Gregorio Diaz; Abderraouf Dembri
Reducing the number of migrated instances during business process change: A graph rewriting approach. J. of King Saud University - Computer and Information Sciences, Elsevier (2022)
Karima Mahdi; Allaoua Chaoui; Manel Kolli; Raida Elmansouri
Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN. Int. J. of Organizational and Collective Intelligence (IJOCI) 12(1) (2022)
Khalfaoui Khaled; El Hillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Optimized search for complex protocols based on entanglement detection. Quantum Information Processing 21(6) (2022)
Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. of Computer Aided Engineering and Technology 16(3): 379-415 (2022)
Mohamed Gharzouli; Aimen Khalil Hamama; Zakaria Khattabi
Topic-based sentiment analysis of hotel reviews. Current Issues in Tourism 25(9): 1368-1375 (2022)
Bouzenada Ahmed; Bouhamed Mohammed Mounir; Kamel Oussama; Macià Hermenegilda; Díaz Gregorio; Chaoui Allaoua
An Example of a Dynamic CPN Model to Obtain Routes in the Presence of Obstacles Detected Using Machine Learning Techniques. Modelling and Implementation of Complex Systems: 220-233 (2022)
Yassamina Mediani; Mohamed Gharzouli; Chahrazed Mediani
A Hybrid Recommender System for Pedagogical Resources. Int. Conf. on Digital Technologies and Applications (ICDTA'22): 361-371 (2022)
2021
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa
Automatic design of quantum circuits: generation of quantum teleportation protocols. Quantum Information Processing 20(9) (2021)
Mohammed Mounir Bouhamed; Gregorio Díaz; Allaoua Chaoui; Oussama Kamel; Radouane Nouara
Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods. Applied Sciences 11(20): 21 (2021)
Mohamed Boubakir; Allaoua Chaoui
An Approach And A Tool For Merging A Set Of Models In Pairwise Way. Malaysian J. of Computer Science 34(1): 13–33 (2021)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021)
2020
Oussama Kamel; Allaoua Chaoui; Gregorio Diaz; Mohamed Gharzouli
SLA-Driven Modeling and Verifying Cloud Systems: A Bigraphical Reactive Systems-based Approach. Computer Standards & Interfaces 74 (2020)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020)
Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020)