Messaoud Abbas

13 papers B 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deep Learning Empowered Service Selection in FANETs: A 5G-Enabled UAV-Cloud Architecture.
IEEE Access
Mohamed Ben Bezziane, Messaoud Abbas, Hessa Alfraihi, Bouziane Brik, Yacine Khaldi, Oussama Aiadi, Siham Hasan
2024 — ed.
6th International Conference on Pattern Analysis and Intelligent Systems, PAIS 2024, El Oued, Algeria, April 24-25, 2024
PAIS
Messaoud Abbas, Makhlouf Derdour, Mohammed Mounir Bouhamed, Saci Medileh, Abdelkamel Ben Ali, Nassira Ghoualmi-Zine
2024 — conf
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe.
PAIS
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
2023 J jnl
PN2Maude: An automatic tool to generate Maude specification for Petri net models.
Comput. Sci. J. Moldova
Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
2022 J jnl
A CNN Model for Early Leukemia Diagnosis.
Int. J. Organ. Collect. Intell.
Kadi Imane, Messaoud Abbas, Amara Miloudi, Meftah Mohammed Charaf Eddine
2021 — conf
Development of Critical Systems with UML/OCL and FoCaLiZe.
MEDI Workshops
Messaoud Abbas, Fatima Haloua, Ammar Boucherit
2021 J jnl
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.
J. Syst. Archit.
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook
2020 J jnl
Formalizing UML/OCL structural features with FoCaLiZe.
Soft Comput.
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2019 — conf
Formalizing and Verifying UML Activity Diagrams.
MEDI Workshops
Messaoud Abbas, Mounir Beggas, Ammar Boucherit
2018 — —
L'environnement FoCaLiZe au service d'UML/OCL. (The FoCaLiZe environment for UML/OCL service).
Messaoud Abbas
2018 J jnl
Modelling UML state machines with FoCaLiZe.
Int. J. Inf. Commun. Technol.
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2014 — conf
Generating FoCaLiZe Specifications from UML Models.
ICAASE
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2014 B conf
Modeling UML Template Classes with FoCaLiZe.
IFM
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo