Allaoua CHAOUI
...
Professeur
Univ. Constantine 2-Abdelhamid Mehri
Equipe : MFGL
CV

Research Gate DBLP Google Scholar LinkedIn
Détails
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)
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)
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. of Computational Vision and Robotics 9(2): 172-191 (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