Zakaria Benzadri

25 papers Journal 4Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An ISO/IEC/IEEE 42010:2022 Standard-Based Adaptation for Systems-of-Systems. IEEE Access Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez, Borhen Louhichi
2025	—	`conf`	Comprehensive Exploration of Resilience and Adaptability in IoT-Based System-of-Systems: Bibliometric and Full-Text Literature Analysis. ECSA (Tracks and Workshops) Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez
2025	—	`conf`	Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis. ECSA (Tracks and Workshops) Feryel Benina, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2024	—	`conf`	A Service-Oriented Framework for Resource-Aware System-of-Systems Modeling in IoT Environments. ICSOC Workshops (2) Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez
2024	—	`conf`	Intelligent Network of Anti-Pollution Stations for Real-Time Prediction and Monitoring of Atmospheric Pollution. ICAASE Salheddine Sadouni, Ouissal Sadouni, Abdelhafid Zitouni, Leila Megouache, Skander Aris, Zakaria Benzadri, Abderraouf Messai, Kamal Hamaz
2024	—	`ed.`	Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. TACC Ismael Bouassida Rodriguez, Slim Kallel, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2023	J	`jnl`	A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems. Int. J. Organ. Collect. Intell. Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
2023	—	`conf`	Innovative FloodGuard: Pioneering Early Flood Detection Station. ICSC Salheddine Sadouni, Ouissal Sadouni, Skander Aris, Abderraouf Messai, Leila Megouache, Zakaria Benzadri
2023	—	`conf`	Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis. TACC Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez
2022	—	`conf`	Towards a Multi-Viewpoints Approach for the SoS Engineering. ICAASE Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
2021	J	`jnl`	A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. Int. J. Organ. Collect. Intell. Zakaria Benzadri, Ayoub Bouheroum, Faiza Belala
2021	—	`conf`	Towards a Service-Driven Model for Industry-4.0. ICSCA Zakaria Benzadri, Takieddine Bouheroum, Youcef Ouassim Cheloufi, Faiza Belala, Mohamed Nadir Hassani
2020	—	`conf`	System of Systems Engineering: Meta-Modelling Perspective. SoSE Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
2020	—	`conf`	System of Systems Modelling: Recent work Review and a Path Forward. ICAASE Charaf Eddine Dridi, Zakaria Benzadri, Faïza Belala
2019	—	`conf`	Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. CAL Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
2019	—	`conf`	Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport. CAL Zakaria Benzadri, Abdeldjalil Boultifat, Sami Resslene Zair, Faiza Belala
2019	—	`conf`	Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
2018	—	`conf`	A Component-based Modeling of Edge Systems Computing. ICAASE Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala
2018	—	`conf`	A Maude based Specification for SoS Architecture. SoSE Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain
2017	—	`conf`	BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala
2017	J	`jnl`	Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
2016	—	`conf`	A theoretical approach for modelling Cloud Services Composition. ICAASE Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
2014	—	`conf`	BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
2014	—	`conf`	Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ESaaSA@CLOSER Zakaria Benzadri, Chafia Bouanaka, Faïza Belala
2013	—	`conf`	Towards a Formal Model for Cloud Computing. ICSOC Workshops Zakaria Benzadri, Faiza Belala, Chafia Bouanaka