Hierarchical Multiparty Digital Signature for Distributed Systems: Application in Intelligent Vehicle Surveillance
Samir Guediri, Messaoud Abbas, Mostefa Kara, Muath AlShaikh
Messaoud Abbas
مسعود عباسProfessor
17
Research output
139
Citations
6
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
2025
Mathematical Prediction and Optimization of Engineered Properties of Recycled Concrete with Marble Fines using Central Composite Design
Tarek Djedid, Messaoud Abbas, Tahar Zerig, Mouloud Belachia
2025Preprint Open access
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
Statistical modeling and optimization of recycled concrete properties enhanced with marble fines using response surface methodology
Tarek Djedid, Tahar Zerig, Messaoud Abbas, Mohamed Zohaïr Kaab, Mouloud Belachia
2024
Intelligent models for early Autism detection from MRI images
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Other Closed accessSeveral sources 3
Statistical analysis using the RSM approach of the physical behavior of green polymerized eco-mortar
Tahar Zerig, Mouloud Belachia, Assia Aidoud, Nassima Meftah, Tarek Djedid, Messaoud Abbas
2023
Combined sand eco-mortar reinforced with polyethylene Terephthalate: Behavior and optimization using RSM method
Tahar Zerig, Assia Aidoud, Mouloud Belachia, Tarek Djedid, Messaoud Abbas
2022
A CNN Model for Early Leukemia Diagnosis
International Journal of Organizational and Collective IntelligenceVolume 12، (1)، Pages 1-202022Article Closed access 6
2021
2020
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
2019
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Formalizing and Verifying UML Activity Diagrams
2018
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Other Closed accessSeveral sources 2
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed access 3
2014
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo