Messaoud Abbas

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Unified Modeling Language

Uml Activity Diagrams

Top Venues

J. Syst. Archit.

University of Sciences and Technology Houari Boumediene (USTHB), Algiers, Algeria (PHD)

Education History

University of Sciences and Technology Houari Boumediene (USTHB), Algiers, Algeria

PHD

Publications

Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
PN2Maude: An automatic tool to generate Maude specification for Petri net models. Comput. Sci. J. Moldova 31 (2) (2023)
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. J. Syst. Archit. 114 (2021)
Messaoud Abbas, Fatima Haloua, Ammar Boucherit
Development of Critical Systems with UML/OCL and FoCaLiZe. MEDI Workshops (2021)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Formalizing UML/OCL structural features with FoCaLiZe. Soft Comput. 24 (6) (2020)
Messaoud Abbas, Mounir Beggas, Ammar Boucherit
Formalizing and Verifying UML Activity Diagrams. MEDI Workshops (2019)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modelling UML state machines with FoCaLiZe. Int. J. Inf. Commun. Technol. 13 (1) (2018)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modeling UML Template Classes with FoCaLiZe. IFM (2014)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Generating FoCaLiZe Specifications from UML Models. ICAASE (2014)