Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe M Abbas, R Rioboo, CB Ben-Yelles, CF Snook Journal of Systems Architecture 114, 101911, 2021 | 28 | 2021 |
Modeling UML template classes with FoCaLiZe M Abbas, CB Ben-Yelles, R Rioboo Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014 | 10 | 2014 |
Modelling UML state machines with FoCaLiZe RR Messaoud Abbas, Choukri Bey Ben Yelles International Journal of Information and Communication Technology 13 (1), 34--54, 2018 | 9* | 2018 |
Using FoCaLiZe to check OCL constraints on UML classes M Abbas International conference on information technology for organization …, 2014 | 6 | 2014 |
Formalizing UML/OCL structural features with FoCaLiZe M Abbas, CB Ben-Yelles, R Rioboo Soft Computing 24 (6), 4149-4164, 2020 | 5 | 2020 |
Generating FoCaLiZe specifications from UML models M Abbas, CBB Yelles, R Rioboo International Conference on Advanced Aspects of Software Engineering, ICAASE …, 2014 | 4 | 2014 |
Combined sand eco-mortar reinforced with polyethylene Terephthalate: Behavior and optimization using RSM method T Zerig, A Aidoud, M Belachia, T Djedid, M Abbas Construction and Building Materials 404, 133160, 2023 | 2 | 2023 |
Formalizing and verifying UML activity diagrams M Abbas, M Beggas, A Boucherit New Trends in Model and Data Engineering: MEDI 2019 International Workshops …, 2019 | 2 | 2019 |
Formalizing UML/OCL multiple inheritance with focalize M Abbas, CB Ben-Yelles, R Rioboo 2018 International Conference on Smart Communications in Network …, 2018 | 2 | 2018 |
A CNN Model for Early Leukemia Diagnosis K Imane, M Abbas, A Miloudi, MCE Meftah International Journal of Organizational and Collective Intelligence (IJOCI …, 2022 | 1 | 2022 |
L'environnement FoCaLiZe au service d'UML/OCL M Abbas El Oued University, Algeria, 2019 | 1 | 2019 |
Transcription des spécifications UML vers le système FoCAL M Abbas Alger, 2007 | 1 | 2007 |
Statistical analysis using the RSM approach of the physical behavior of green polymerized eco-mortar T Zerig, M Belachia, A Aidoud, N Meftah, T Djedid, M Abbas Journal of Cleaner Production 450, 141858, 2024 | | 2024 |
PN2Maude: An automatic tool to generate Maude specification for Petri net models. A Boucherit, M Abbas, ML Lamouri, O Hasan Computer Science Journal of Moldova 31 (2), 2023 | | 2023 |
POSTER- Perspectives d'utilisation de l'IA pour détecter et prends soin les TSA K BoutouilImane, K Imane, MCE Meftah, M Abbas | | 2022 |
Development of Critical Systems with UML/OCL and FoCaLiZe M Abbas, F Haloua, A Boucherit Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | | 2021 |
Development Life-Cycle Approach for Critical Systems F Haloua, M Abbas, A Boucherit, CF Snook, R Rioboo Available at SSRN 4070225, 0 | | |