Maître de conférences
Univ. Constantine 2
Equipe : MFGL

Ancien membre
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)
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 8(2): 1-23 (2017)
Nabil Messaoudi; Allaoua Chaoui; Mourad Derardja; Mohamed Bettaz
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. 7th Int. Conf. on Ambient Systems, Networks andTechnologies (ANT'16): 658-664 (2016)
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. 10th Int. Conf. on Future Networks and Communications (FNC '15): 604-611 (2015)
Thèse de doctorat
Nabil Messaoudi
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi. Université Constantine 2, Algérie (2017)