Messaoud Abbas

According to our database1, Messaoud Abbas authored at least 10 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe.
Proceedings of the 6th International Conference on Pattern Analysis and Intelligent Systems, 2024

2023
PN2Maude: An automatic tool to generate Maude specification for Petri net models.
Comput. Sci. J. Moldova, 2023

2021
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.
J. Syst. Archit., 2021

Development of Critical Systems with UML/OCL and FoCaLiZe.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

2020
Formalizing UML/OCL structural features with FoCaLiZe.
Soft Comput., 2020

2019
Formalizing and Verifying UML Activity Diagrams.
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).
PhD thesis, 2018

Modelling UML state machines with FoCaLiZe.
Int. J. Inf. Commun. Technol., 2018

2014
Modeling UML Template Classes with FoCaLiZe.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Generating FoCaLiZe Specifications from UML Models.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014


  Loading...