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)

Aster: A DSL for Engineering Self-Adaptive Systems. - Fatma Kachi; Chafia Bouanaka (CSA, 2022)

Quality-driven Formal Modelling of the Travel Planner Application. - Fatma Kachi; Chafia Bouanaka (RIF, 2022)

A hybrid model for efficient decision-making in self-adaptive systems. - Fatma Kachi; Chafia Bouanaka (Inf. Softw. Technol., 2023)