Zakaria Benzadri

According to our database, Zakaria Benzadri authored at least 19 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis.

Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

Innovative FloodGuard: Pioneering Early Flood Detection Station.

Salheddine Sadouni, O. Sadouni, S. Aris, Abderraouf Messai, L. Megouache, Zakaria Benzadri

Proceedings of the 11th IEEE International Conference on Systems and Control, 2023

2022

Towards a Multi-Viewpoints Approach for the SoS Engineering.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

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 Service-Driven Model for Industry-4.0.

Zakaria Benzadri, Takieddine Bouheroum, Youcef Ouassim Cheloufi, Faiza Belala, Mohamed Nadir Hassani

Proceedings of the ICSCA 2021, 2021

2020

System of Systems Engineering: Meta-Modelling Perspective.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020

System of Systems Modelling: Recent work Review and a Path Forward.

Charaf Eddine Dridi, Zakaria Benzadri, Faïza Belala

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant.

Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala

Proceedings of the 7th International Conference on Future Internet of Things and Cloud, 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

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

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

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

2018

A Maude based Specification for SoS Architecture.

Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Component-based Modeling of Edge Systems Computing.

Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2017

Big-CAF: a bigraphical-generic cloud architecture framework.

Zakaria Benzadri, Chafia Bouanaka, Faiza Belala

Int. J. Grid Util. Comput., 2017

BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System.

Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

A theoretical approach for modelling Cloud Services Composition.

Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2014

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.

Zakaria Benzadri, Chafia Bouanaka, Faiza Belala

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker.

Zakaria Benzadri, Chafia Bouanaka, Faïza Belala

Proceedings of the ESaaSA 2014, 2014

2013

Towards a Formal Model for Cloud Computing.

Zakaria Benzadri, Faiza Belala, Chafia Bouanaka

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013