Towards Formal Modeling of Quality-driven Systems under uncertainty. - Souheir Merkouche; Chafia Bouanaka; Fatma Kachi (ICAASE, 2020)

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems. - Fatma Kachi; Chafia Bouanaka; Souheir Merkouche (FMAS, 2020)

A Hybrid approach for containerized Microservices auto-scaling. - Souheir Merkouche; Chafia Bouanaka (AICCSA, 2022)

TERA-Scheduler for a Dependency-based Orchestration of Microservices. - Souheir Merkouche; Tarik Haroun; Chafia Bouanaka; Manel Smaali (ICAASE, 2022)

A Proactive Formal Approach For Microservice-based Applications Auto-Scaling. - Souheir Merkouche; Chafia Bouanaka (RIF, 2022)

A Petri Net-based Formal Modeling for Microservices Auto-scaling. - Souheir Merkouche; Chafia Bouanaka; Elhadj Benkhelifa (AICCSA, 2023)

TERA-Scaler for a Proactive Auto-Scaling of e-Business Microservices. - Souheir Merkouche; Chafia Bouanaka (ICSOFT, 2023)