Generating FoCaLiZe Specifications from UML Models. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (ICAASE, 2014)

Modeling UML Template Classes with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (IFM, 2014)

Modelling UML state machines with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (Int. J. Inf. Commun. Technol., 2018)

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

Formalizing and Verifying UML Activity Diagrams. - Messaoud Abbas; Mounir Beggas; Ammar Boucherit (MEDI Workshops, 2019)

Formalizing UML/OCL structural features with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (Soft Comput., 2020)

Development of Critical Systems with UML/OCL and FoCaLiZe. - Messaoud Abbas; Fatima Haloua; Ammar Boucherit (MEDI Workshops, 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)

A CNN Model for Early Leukemia Diagnosis. - Kadi Imane; Messaoud Abbas; Amara Miloudi; Meftah Mohammed Charaf Eddine (Int. J. Organ. Collect. Intell., 2022)

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)

Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe. - Fatima Haloua; Messaoud Abbas; Rachid Djerbi; Mohammed Mounir Bouhamed (PAIS, 2024)

Deep Learning Empowered Service Selection in FANETs: A 5G-Enabled UAV-Cloud Architecture. - Mohamed Ben Bezziane; Messaoud Abbas; Hessa Alfraihi; Bouziane Brik; Yacine Khaldi; Oussama Aiadi; Siham Hasan (IEEE Access, 2025)