| 2023 | AICCSA | A Petri Net-based Formal Modeling for Microservices Auto-scaling. | Souheir Merkouche, Chafia Bouanaka, Elhadj Benkhelifa |
| 2023 | ICSoft | TERA-Scaler for a Proactive Auto-Scaling of e-Business Microservices. | Souheir Merkouche, Chafia Bouanaka |
| 2022 | AICCSA | A Hybrid approach for containerized Microservices auto-scaling. | Souheir Merkouche, Chafia Bouanaka |
| 2020 | AICCSA | IEDSS: Efficient Scheduling of Emergency Department Resources based on Fog Computing. | Chafia Bouanaka, Ala Eddine Laouir, Rassim Medkour |
| 2017 | MEDI | Self-adaptive Architecture for Ensuring QoS Contracts in Cloud-Based Systems. | Esma Maatougui, Chafia Bouanaka, Nadia Zeghib |
| 2017 | WETICE | Towards Formal Planning for Quality-Aware Self-Adaptive Systems. | Esma Maatougui, Chafia Bouanaka, Nadia Zeghib |
| 2016 | MODELS | Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design. | Esma Maatougui, Chafia Bouanaka, Nadia Zeghib |
| 2014 | CLOSER | Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. | Zakaria Benzadri, Chafia Bouanaka, Faza Belala |
| 2014 | ICCSA | On Specifying Reconfigurable Component-Based Systems Using Strategies. | Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib |
| 2014 | ICSoft | On Specifying and Verifying Context-aware Systems. | Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib |
| 2014 | WETICE | Model Checking Pervasive Context-Aware Systems. | Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib |
| 2014 | WETICE | Towards a Formal Model for Cloud Computing Elasticity. | Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib |
| 2014 | VECoS | Model-Checking Cloud Systems Using BigMC. | Hamza Sahli, Faiza Belala, Chafia Bouanaka |
| 2013 | ICSOC | Towards a Formal Model for Cloud Computing. | Zakaria Benzadri, Faiza Belala, Chafia Bouanaka |
| 2009 | AICCSA | A synchronization schema in activity diagrams via zero-safe-nets. | Sabine Boufenara, Faiza Belala, Chafia Bouanaka |
| 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 |
| 2007 | ICSoft | On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. | Chafia Bouanaka, Aicha Choutri, Faiza Belala |