Get started
Author

Zakaria Benzadri

Observed names: Benzadri Zakaria, Z. Benzadri, Zakaria BENZADRI
ORCID: 0000-0002-9199-0657
Observed ORCID: 0000-0002-9199-0657
OpenAlex ID: A5050254934
Towards a Formal Model for Cloud Computing
2014 · Zakaria Benzadri, Faiza Belala, et al. · Lecture notes in computer science · 24
System of Systems Modelling: Recent work Review and a Path Forward
2020 · Charaf Eddine DRIDI, Zakaria BENZADRI, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE) · 23
System of Systems Engineering: Meta-Modelling Perspective
2020 · Charaf Eddine Dridi, Zakaria Benzadri, et al. · International Conference on System of Systems Engineering · 18
PDF
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker
2014 · Zakaria Benzadri, Chafia Bouanaka, et al. · International Workshop on Emerging Software as a Service and Analytics (ESaaSA) · 9
A Formal Framework for Secure Fog Architectures
2021 · Zakaria Benzadri, Ayoub Bouheroum, et al. · International Journal of Organizational and Collective Intelligence · 7
Big-CAF: a bigraphical-generic cloud architecture framework
2017 · Zakaria Benzadri, Chafia Bouanaka, et al. · International Journal of Grid and Utility Computing · 7
An ISO/IEC/IEEE 42010:2022 Standard-Based Adaptation for Systems-of-Systems
2025 · Aymen Abdelmoumen, Zakaria Benzadri, et al. · IEEE Access · 6
A Maude based Specification for SoS Architecture
2018 · A. Seghiri, F. Belala, et al. · International Conference on System of Systems Engineering · 6
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant
2019 · Ayoub Bouheroum, Zakaria Benzadri, et al. · International Conference on Future Internet of Things and Cloud (FiCloud) · 5
A theoretical approach for modelling Cloud Services Composition
2016 · Zakaria Benzadri, Nabil Hameurlain, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE) · 5
Towards a Multi-Viewpoints Approach for the SoS Engineering
2022 · Charaf Eddine Dridi, Zakaria Benzadri, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE) · 4
BiAgent-Based Model for IoT Applications
2018 · Souad Marir, Roumeissa Kitouni, et al. · Lecture notes in computer science · 3
A Service-Oriented Framework for Resource-Aware System-of-Systems Modeling in IoT Environments
2025 · Aymen Abdelmoumen, Zakaria Benzadri, et al. · Lecture notes in computer science · 2
A Unified Architecture Framework Supporting SoS's Development
2023 · Charaf Eddine Dridi, Zakaria Benzadri, et al. · International Journal of Organizational and Collective Intelligence · 2
PDF
A Modelling Framework for CPS-Based Industry 4.0: Application to Manufacturing Systems
2021 · Zakaria Benzadri, Takieddine Bouheroum, et al. · Smart innovation, systems and technologies · 2
A Formal Framework for Cloud Systems
2015 · Zakaria Benzadri, Chafia Bouanaka, et al. · IGI Global eBooks · 2
A Formal Framework for Cloud Systems
2015 · Zakaria Benzadri, Chafia Bouanaka, et al. · Advances in systems analysis, software engineering, and high performance computing book series · 2
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.
2014 · Zakaria Benzadri, Chafia Bouanaka, et al. · 2
Comprehensive Exploration of Resilience and Adaptability in IoT-Based System-of-Systems: Bibliometric and Full-Text Literature Analysis
2025 · Aymen Abdelmoumen, Zakaria Benzadri, et al. · Lecture notes in computer science · 1
Innovative FloodGuard: Pioneering Early Flood Detection Station
2023 · S. Sadouni, O. Sadouni, et al. · International Conference on Systems and Control (ICSC) · 1
A Component-based Modeling of Edge Systems Computing.
2018 · Oussama Nassim Sehout, Mouad Ghiat, et al. · 1
Towards A Model-Driven Framework Integrating XAI and Formal Methods for Medical Cyber-Physical System Design
2025 · Feryel Benina, Ahmed Hadj Kacem, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)
Towards an Explainable Framework for Personalized Treatment Recommendations
2025 · Mohamed Ouassim Labraoui, Zakaria Benzadri, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)
Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis
2025 · Benina Feryel, Zakaria Benzadri, et al. · Lecture notes in computer science
Intelligent Network of Anti-Pollution Stations for Real-Time Prediction and Monitoring of Atmospheric Pollution
2024 · Salheddine Sadouni, Ouissal Sadouni, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE)
Works count: 28
Citation count: 132
H-index: 6
I10-index: 3
Year
Topic
Type