Fatma Kachi

According to our database, Fatma Kachi authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A hybrid model for efficient decision-making in self-adaptive systems.

Fatma Kachi, Chafia Bouanaka

Inf. Softw. Technol., 2023

2022

Quality-driven Formal Modelling of the Travel Planner Application.

Fatma Kachi, Chafia Bouanaka

Proceedings of The 11th Seminary of Computer Science Research at Feminine (RIF 2022) LIRE Laboratory, 2022

Aster: A DSL for Engineering Self-Adaptive Systems.

Fatma Kachi, Chafia Bouanaka

Proceedings of the Advances in Computing Systems and Applications, 2022

2020

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems.

Fatma Kachi, Chafia Bouanaka, Souheir Merkouche

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Towards Formal Modeling of Quality-driven Systems under uncertainty.

Souheir Merkouche, Chafia Bouanaka, Fatma Kachi

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020