Get started
Author

Messaoud Abbas

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
2020 · Messaoud Abbas, Renaud Rioboo, et al. · Journal of Systems Architecture · 36
PDF
Combined sand eco-mortar reinforced with polyethylene Terephthalate: Behavior and optimization using RSM method
2023 · Tahar Zerig, Assia Aidoud, et al. · Construction and Building Materials · 16
Formalizing UML/OCL structural features with FoCaLiZe
2019 · Messaoud Abbas, Choukri-Bey Ben-Yelles, et al. · Soft Computing · 8
Modeling UML Template Classes with FoCaLiZe
2014 · Messaoud Abbas, Choukri-Bey Ben-Yelles, et al. · Lecture notes in computer science · 8
Modelling UML state machines with FoCaLiZe
2018 · Choukri Bey Ben Yelles, Renaud Rioboo, et al. · International Journal of Information and Communication Technology · 5
Deep Learning Empowered Service Selection in FANETs: A 5G-Enabled UAV-Cloud Architecture
2025 · Mohamed Ben Bezziane, Messaoud Abbas, et al. · IEEE Access · 4
Formalizing and Verifying UML Activity Diagrams
2019 · Messaoud Abbas, Mounir Beggas, et al. · Communications in computer and information science · 3
Modelling UML state machines with FoCaLiZe
2018 · Messaoud Abbas, Choukri Bey Ben Yelles, et al. · International Journal of Information and Communication Technology · 3
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
2018 · Messaoud Abbas, Choukri-Bey Ben-Yelles, et al. · International Conference on Smart Communications in Network Technologies (SaCoNeT) · 2
Generating FoCaLiZe Specifications from UML Models
2014 · Messaoud Abbas, Choukri-bey Ben-yelles, et al. · 2
Development of Critical Systems with UML/OCL and FoCaLiZe
2021 · Messaoud Abbas, Fatima Haloua, et al. · Communications in computer and information science · 1
Mathematical Prediction and Optimization of Engineered Properties of Recycled Concrete with Marble Fines using Central Composite Design
2025 · Tarek Djedid, Messaoud Abbas, et al. · Research Square
PDF
Statistical modeling and optimization of recycled concrete properties enhanced with marble fines using response surface methodology
2025 · Tarek Djedid, Tahar Zerig, et al. · Research on Engineering Structures and Materials
PDF
A maintainable and iterative development approach of critical systems with FoCaLiZe
2024 · Fatima Haloua, Messaoud Abbas, et al. · STUDIES IN ENGINEERING AND EXACT SCIENCES
PDF
L'environnement FoCaLiZe au service d'UML/OCL
2018 · Messaoud Abbas · HAL
Works count: 15
Citation count: 88
H-index: 5
I10-index: 2
Year
Topic
Type