Zakaria Benzadri

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 15

Top Topics

Bibliometric Analysis

Collision Avoidance

Systems Engineering

Top Venues

Int. J. Organ. Collect. Intell.

Publications

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems. Int. J. Organ. Collect. Intell. 13 (1) (2023)
Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez
Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis. TACC (2023)
Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
Towards a Multi-Viewpoints Approach for the SoS Engineering. ICAASE (2022)
Zakaria Benzadri, Ayoub Bouheroum, Faiza Belala
A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. Int. J. Organ. Collect. Intell. 11 (2) (2021)
Zakaria Benzadri, Takieddine Bouheroum, Youcef Ouassim Cheloufi, Faiza Belala, Mohamed Nadir Hassani
Towards a Service-Driven Model for Industry-4.0. ICSCA (2021)
Charaf Eddine Dridi, Zakaria Benzadri, Faïza Belala
System of Systems Modelling: Recent work Review and a Path Forward. ICAASE (2020)
Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
System of Systems Engineering: Meta-Modelling Perspective. SoSE (2020)
Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud (2019)
Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. CAL (2019)
Zakaria Benzadri, Abdeldjalil Boultifat, Sami Resslene Zair, Faiza Belala
Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport. CAL (2019)
Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain
A Maude based Specification for SoS Architecture. SoSE (2018)
Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala
A Component-based Modeling of Edge Systems Computing. ICAASE (2018)
Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala
BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops (2017)
Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. 8 (3) (2017)
Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
A theoretical approach for modelling Cloud Services Composition. ICAASE (2016)
Zakaria Benzadri, Chafia Bouanaka, Faïza Belala
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ESaaSA@CLOSER (2014)
Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE (2014)
Zakaria Benzadri, Faiza Belala, Chafia Bouanaka
Towards a Formal Model for Cloud Computing. ICSOC Workshops (2013)