| 2025 | AICCSA | Towards A Model-Driven Framework Integrating XAI and Formal Methods for Medical Cyber-Physical System Design. | Feryel Benina, Ahmed Hadj Kacem, Faiza Belala, Zakaria Benzadri |
| 2025 | AICCSA | Towards an Explainable Framework for Personalized Treatment Recommendations. | Mohamed Ouassim Labraoui, Zakaria Benzadri, Naila Marir |
| 2025 | ECSA | Comprehensive Exploration of Resilience and Adaptability in IoT-Based System-of-Systems: Bibliometric and Full-Text Literature Analysis. | Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez |
| 2025 | ECSA | Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis. | Feryel Benina, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem |
| 2024 | ICSOC | A Service-Oriented Framework for Resource-Aware System-of-Systems Modeling in IoT Environments. | Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez |
| 2017 | ICSOC | BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. | Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala |
| 2014 | CLOSER | Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. | Zakaria Benzadri, Chafia Bouanaka, Faza Belala |
| 2013 | ICSOC | Towards a Formal Model for Cloud Computing. | Zakaria Benzadri, Faiza Belala, Chafia Bouanaka |