Chafia Bouanaka

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 27

Top Topics

Scripting Languages

Top Venues

Publications

Fatma Kachi, Chafia Bouanaka
A hybrid model for efficient decision-making in self-adaptive systems. Inf. Softw. Technol. 153 (2023)
Souheir Merkouche, Chafia Bouanaka
TERA-Scaler for a Proactive Auto-Scaling of e-Business Microservices. ICSOFT (2023)
Souheir Merkouche, Chafia Bouanaka, Elhadj Benkhelifa
A Petri Net-based Formal Modeling for Microservices Auto-scaling. AICCSA (2023)
Souheir Merkouche, Tarik Haroun, Chafia Bouanaka, Manel Smaali
TERA-Scheduler for a Dependency-based Orchestration of Microservices. ICAASE (2022)
Fatma Kachi, Chafia Bouanaka
Quality-driven Formal Modelling of the Travel Planner Application. RIF (2022)
Souheir Merkouche, Chafia Bouanaka
A Hybrid approach for containerized Microservices auto-scaling. AICCSA (2022)
Souheir Merkouche, Chafia Bouanaka
A Proactive Formal Approach For Microservice-based Applications Auto-Scaling. RIF (2022)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Formal Specification of Non-Functional Properties of Context-Aware Systems. Int. J. Organ. Collect. Intell. 12 (2) (2022)
Fatma Kachi, Chafia Bouanaka
Aster: A DSL for Engineering Self-Adaptive Systems. CSA (2022)
Chafia Bouanaka, Ala Eddine Laouir, Rassim Medkour
IEDSS: Efficient Scheduling of Emergency Department Resources based on Fog Computing. AICCSA (2020)
Chafia Bouanaka, Nadira Benlahrache, Sana Benhamaid, Emira Bouhamed
A Review of IoT Systems Engineering: Application to the Smart traffic lights system. ICAASE (2020)
Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
A formal quantitative analysis of elastic cloud systems based on PSMaude. J. King Saud Univ. Comput. Inf. Sci. 32 (4) (2020)
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
SQAL Self-Adaptive System's Quality Assurance Language. Int. J. Inf. Syst. Model. Des. 11 (2) (2020)
Fatma Kachi, Chafia Bouanaka, Souheir Merkouche
A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems. FMAS (2020)
Nadira Benlahrache, Chafia Bouanaka, Mohamed Z. Bendjaballah, Abdoudjallil Djarri
Towards an UML-based SoS Analysis and Design Process. ICAASE (2020)
Souheir Merkouche, Chafia Bouanaka, Fatma Kachi
Towards Formal Modeling of Quality-driven Systems under uncertainty. ICAASE (2020)
Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
A Quality-driven Approach for Analyzing Elastic Cloud Computing. ICAASE (2018)
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
Self-adaptive Architecture for Ensuring QoS Contracts in Cloud-Based Systems. MEDI (2017)
Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib
A Formal Framework for Scalable Component-Based Systems. Int. J. Inf. Syst. Model. Des. 8 (1) (2017)
Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. 8 (3) (2017)
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
Towards Formal Planning for Quality-Aware Self-Adaptive Systems. WETICE (2017)
Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
A theoretical approach for modelling Cloud Services Composition. ICAASE (2016)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
A formal framework for context-aware systems specification and verification. J. Syst. Softw. 122 (2016)
Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib
Towards rewriting-based formal model for component-based systems verification. ICAASE (2016)
Hamza Sahli, Faïza Belala, Chafia Bouanaka
Formal verification of cloud systems elasticity. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design. ModComp@MoDELS (2016)
Hamza Sahli, Faiza Belala, Chafia Bouanaka
A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Cloud Forward (2015)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
On Specifying Reconfigurable Component-Based Systems Using Strategies. ICCSA (1) (2014)
Zakaria Benzadri, Chafia Bouanaka, Faïza Belala
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ESaaSA@CLOSER (2014)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Model Checking Pervasive Context-Aware Systems. WETICE (2014)
Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib
Towards a Formal Model for Cloud Computing Elasticity. WETICE (2014)
Hamza Sahli, Faiza Belala, Chafia Bouanaka
Model-Checking Cloud Systems Using BigMC. VECoS (2014)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
On Specifying and Verifying Context-aware Systems. ICSOFT PT (2014)
Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE (2014)
Zakaria Benzadri, Faiza Belala, Chafia Bouanaka
Towards a Formal Model for Cloud Computing. ICSOC Workshops (2013)
Faiza Belala, Chafia Bouanaka, Kamel Barkaoui
Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE (2011)
Chafia Bouanaka, Faiza Belala, Kamel Barkaoui
A tile logic-based semantics for mobile software architectures. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Nadira Benlahrache, Faiza Belala, Chafia Bouanaka, Malika Benammar
Vers un Modèle de Déploiement à base de Bigraphes. CAL (2010)
Kamel Barkaoui, Chafia Bouanaka, José Martín Molina Espinosa
An Event Structure based Coordination Model for Collaborative Sessions. ICEIS (3) (2009)
Sabine Boufenara, Faiza Belala, Chafia Bouanaka
Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML. LMO (2009)
Sabine Boufenara, Faiza Belala, Chafia Bouanaka
A synchronization schema in activity diagrams via zero-safe-nets. AICCSA (2009)
Chafia Bouanaka, Faiza Belala
Towards a mobile architecture description language. AICCSA (2008)
Chafia Bouanaka, Faiza Belala
Tile logic as an architectural model for mobility. ISCC (2008)
Chafia Bouanaka, Aicha Choutri, Faiza Belala
On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. ICSOFT (SE) (2007)
Rachid Benlamri, Mohamed Batouche, S. Rami, Chafia Bouanaka
An automated system for analysis and interpretation of epileptiform activity in the EEG. Comput. Biol. Medicine 27 (2) (1997)