Messaoud Abbas

According to our database, Messaoud Abbas authored at least 9 papers between 2014 and 2023.

Collaborative distances:

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

2023

PN2Maude: An automatic tool to generate Maude specification for Petri net models.

Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan

Comput. Sci. J. Moldova, 2023

2021

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.

Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook

J. Syst. Archit., 2021

Development of Critical Systems with UML/OCL and FoCaLiZe.

Messaoud Abbas, Fatima Haloua, Ammar Boucherit

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

2020

Formalizing UML/OCL structural features with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Soft Comput., 2020

2019

Formalizing and Verifying UML Activity Diagrams.

Messaoud Abbas, Mounir Beggas, Ammar Boucherit

Proceedings of the New Trends in Model and Data Engineering, 2019

2018

L'environnement FoCaLiZe au service d'UML/OCL. (The FoCaLiZe environment for UML/OCL service).

Messaoud Abbas

PhD thesis, 2018

Modelling UML state machines with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Int. J. Inf. Commun. Technol., 2018

2014

Modeling UML Template Classes with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Generating FoCaLiZe Specifications from UML Models.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014