Towards a Formal Model for Cloud Computing. - Zakaria Benzadri; Faiza Belala; Chafia Bouanaka (ICSOC Workshops, 2013)

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. - Zakaria Benzadri; Chafia Bouanaka; Faïza Belala (ESaaSA@CLOSER, 2014)

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. - Zakaria Benzadri; Chafia Bouanaka; Faiza Belala (ICAASE, 2014)

A theoretical approach for modelling Cloud Services Composition. - Zakaria Benzadri; Nabil Hameurlain; Faiza Belala; Chafia Bouanaka (ICAASE, 2016)

BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. - Souad Marir; Roumeissa Kitouni; Zakaria Benzadri; Faiza Belala (ICSOC Workshops, 2017)

Big-CAF: a bigraphical-generic cloud architecture framework. - Zakaria Benzadri; Chafia Bouanaka; Faiza Belala (Int. J. Grid Util. Comput., 2017)

A Component-based Modeling of Edge Systems Computing. - Oussama Nassim Sehout; Mouad Ghiat; Zakaria Benzadri; Faiza Belala (ICAASE, 2018)

A Maude based Specification for SoS Architecture. - Akram Seghiri; Faïza Belala; Zakaria Benzadri; Nabil Hameurlain (SoSE, 2018)

Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport. - Zakaria Benzadri; Abdeldjalil Boultifat; Sami Resslene Zair; Faiza Belala (CAL, 2019)

Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. - Ayoub Bouheroum; Zakaria Benzadri; Faiza Belala (CAL, 2019)

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. - Ayoub Bouheroum; Zakaria Benzadri; Faiza Belala (FiCloud, 2019)

System of Systems Modelling: Recent work Review and a Path Forward. - Charaf Eddine Dridi; Zakaria Benzadri; Faïza Belala (ICAASE, 2020)

System of Systems Engineering: Meta-Modelling Perspective. - Charaf Eddine Dridi; Zakaria Benzadri; Faiza Belala (SoSE, 2020)

Towards a Service-Driven Model for Industry-4.0. - Zakaria Benzadri; Takieddine Bouheroum; Youcef Ouassim Cheloufi; Faiza Belala; Mohamed Nadir Hassani (ICSCA, 2021)

A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. - Zakaria Benzadri; Ayoub Bouheroum; Faiza Belala (Int. J. Organ. Collect. Intell., 2021)

Towards a Multi-Viewpoints Approach for the SoS Engineering. - Charaf Eddine Dridi; Zakaria Benzadri; Faiza Belala (ICAASE, 2022)

Innovative FloodGuard: Pioneering Early Flood Detection Station. - Salheddine Sadouni; Ouissal Sadouni; Skander Aris; Abderraouf Messai; Leila Megouache; Zakaria Benzadri (ICSC, 2023)

Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis. - Aymen Abdelmoumen; Zakaria Benzadri; Ismael Bouassida Rodriguez (TACC, 2023)

A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems. - Charaf Eddine Dridi; Zakaria Benzadri; Faiza Belala (Int. J. Organ. Collect. Intell., 2023)

Intelligent Network of Anti-Pollution Stations for Real-Time Prediction and Monitoring of Atmospheric Pollution. - Salheddine Sadouni; Ouissal Sadouni; Abdelhafid Zitouni; Leila Megouache; Skander Aris; Zakaria Benzadri; Abderraouf Messai; Kamal Hamaz (ICAASE, 2024)

A Service-Oriented Framework for Resource-Aware System-of-Systems Modeling in IoT Environments. - Aymen Abdelmoumen; Zakaria Benzadri; Ismael Bouassida Rodriguez (ICSOC Workshops (2), 2024)

An ISO/IEC/IEEE 42010:2022 Standard-Based Adaptation for Systems-of-Systems. - Aymen Abdelmoumen; Zakaria Benzadri; Ismael Bouassida Rodriguez; Borhen Louhichi (IEEE Access, 2025)