Nabil Messaoudi

Design of ATL Rules for Transforming UML 2 Communication Diagrams into Büchi Automata

Allaoua Chaoui, Nabil Messaoudi, Elkamel Merah, 2012 .

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations

Allaoua Chaoui, Mohamed Bettaz, Nabil Messaoudi, 2019, Int. J. Comput. Vis. Robotics.

An Approach to UML Consistency Checking Based on Compositional Semantics

Allaoua Chaoui, Mohamed Bettaz, Nabil Messaoudi, 2017, Int. J. Embed. Real Time Commun. Syst..

Choroidal Neovascularization in Malattia Leventinese Diagnosed Using Optical Coherence Tomography Angiography.

E. Souied, F. Coscas, R. Serra, 2017, American journal of ophthalmology.

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications

Allaoua Chaoui, Mohamed Bettaz, Nabil Messaoudi, 2016, ANT/SEIT.