Messaoud Abbas

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

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

Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe. PAIS (2024)
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)