Equipe MFGL : Méthodes Formelles pour le Génie Logiciel

L’Ingénierie Dirigée par les Modèles (IDM) est une approche de développement mettant à disposition de l'utilisateur des concepts, des langages et des outils. Les modèles sont considérés comme des éléments de base

3 dernières thèses soutenues
Mohammed Mounir Bouhamed
Dynamic Business Process Change
il y a 3 mois
Kamel Oussama
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
il y a 1 an
Guerrouf Fayçal
Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems
il y a 1 an
5 dernières publications
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)