Nabil Messaoudi

According to our database, Nabil Messaoudi authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Improving consistency of AADL models: A composition approach.

Mohamed Elkamel Hamdane, Saad Harous, Elhillali Kerkouche, Nabil Messaoudi

Syst. Eng., May, 2023

2019

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

2017

An Approach to UML Consistency Checking Based on Compositional Semantics.

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz

Int. J. Embed. Real Time Commun. Syst., 2017

2016

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

Nabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Mohamed Bettaz

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations.

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015