5 dernières publications |
---|
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) |
|
Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020) |
|
Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. Int. Conf. on Software Technologies (ICSOFT'20) (2020) |
|
Fayçal Guerrouf; Allaoua Chaoui
A graph transformation based approach for multi-agent systems reorganization. Multiagent and Grid Systems 15(4): 375-394 (2019) |
|
Aissam Belghiat; Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019) |
Titre | Spécialité | Niveau |
---|---|---|
Ingénierie Dirigée par les Modèles
INDM |
Réseaux Et Systèmes Distribués (RSD) | Master 1 |
Complexité des Algorithmes Séquentiels et Parallèles
CASP |
Réseaux Et Systèmes Distribués (RSD) | Master 1 |
Compilation
COMP |
Science de l'Informatiques (SCI) | Licence 3 |