An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (FNC/MobiSPC, 2015)

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. - Nabil Messaoudi; Allaoua Chaoui; Mourad Derardja; Mohamed Bettaz (ANT/SEIT, 2016)

An Approach to UML Consistency Checking Based on Compositional Semantics. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (Int. J. Embed. Real Time Commun. Syst., 2017)

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (Int. J. Comput. Vis. Robotics, 2019)

Improving consistency of AADL models: A composition approach. - Mohamed Elkamel Hamdane; Saad Harous; Elhillali Kerkouche; Nabil Messaoudi (Syst. Eng., 2023)