| 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 a Driven Specific Modeling Language for Deep Neural Networks. | Angham Boukhari, Ahmed Hadj Kacem, Faiza Belala, Acha Choutri |
| 2025 | ECSA | Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis. | Feryel Benina, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem |
| 2025 | ENASE | Maude Strategies-Based SoSs Workflow Modeling. | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
| 2024 | MEDI | Towards Specification and Analysis of Dependable Cyber-Physical Systems. | Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala |
| 2023 | WETICE | A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
| 2022 | ENASE | Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. | Akram Seghiri, Faiza Belala, Nabil Hameurlain |
| 2022 | MEDI | A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
| 2019 | MEDI | Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. | Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
| 2018 | MEDI | Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. | Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
| 2018 | MEDI | A Formal Model for Interaction Specification and Analysis in IoT Applications. | Souad Marir, Faiza Belala, Nabil Hameurlain |
| 2017 | ICSOC | A BRS Based Approach for Modeling Elastic Cloud Systems. | Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala |
| 2017 | ICSOC | BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. | Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala |
| 2014 | EUC | A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. | Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala |
| 2014 | VECoS | Towards Formal Modeling and Verification of Context-Aware Systems. | Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui |
| 2014 | VECoS | Model-Checking Cloud Systems Using BigMC. | Hamza Sahli, Faiza Belala, Chafia Bouanaka |
| 2013 | ECSA | Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. | Taha Abdelmoutaleb Cherfia, Faiza Belala |
| 2013 | ICSOC | Towards a Formal Model for Cloud Computing. | Zakaria Benzadri, Faiza Belala, Chafia Bouanaka |
| 2011 | WETICE | A Novel Semantic Framework for Analyzing Dynamic Web Services. | Fateh Latreche, Faiza Belala |
| 2010 | AICCSA | For more understandable UML diagrams. | Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi |
| 2009 | AICCSA | A synchronization schema in activity diagrams via zero-safe-nets. | Sabine Boufenara, Faiza Belala, Chafia Bouanaka |
| 2009 | CAINE | On Formalizing UML 2.0 Activities: Stream and Exception Parameters. | Sabine Boufenara, Faiza Belala, Narayan C. Debnath |
| 2008 | AICCSA | Towards a mobile architecture description language. | Chafia Bouanaka, Faiza Belala |
| 2008 | ISCC | Tile logic as an architectural model for mobility. | Chafia Bouanaka, Faiza Belala |
| 2008 | RCIS | AADL behavioral annex based on generalized rewriting logic. | Malika Benammar, Faiza Belala, Fateh Latreche |
| 2008 | RCIS | Towards a tile based LfP semantics. | Aicha Choutri, Faiza Belala, Kamel Barkaoui |
| 2007 | ICSoft | On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. | Chafia Bouanaka, Aicha Choutri, Faiza Belala |
| 2006 | AICCSA | A Contribution to the Formal Checking of Multi-Agents Systems. | Faiza Belala, A. Boucherit |