Chafia Bouanaka

According to our database, Chafia Bouanaka authored at least 45 papers between 1997 and 2023.

Collaborative distances:

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

2023

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

Fatma Kachi, Chafia Bouanaka

Inf. Softw. Technol., 2023

TERA-Scaler for a Proactive Auto-Scaling of e-Business Microservices.

Souheir Merkouche, Chafia Bouanaka

Proceedings of the 18th International Conference on Software Technologies, 2023

A Petri Net-based Formal Modeling for Microservices Auto-scaling.

Souheir Merkouche, Chafia Bouanaka, Elhadj Benkhelifa

Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

2022

Formal Specification of Non-Functional Properties of Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Int. J. Organ. Collect. Intell., 2022

A Proactive Formal Approach For Microservice-based Applications Auto-Scaling.

Souheir Merkouche, Chafia Bouanaka

Proceedings of The 11th Seminary of Computer Science Research at Feminine (RIF 2022) LIRE Laboratory, 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

TERA-Scheduler for a Dependency-based Orchestration of Microservices.

Souheir Merkouche, Tarik Haroun, Chafia Bouanaka, Manel Smaali

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

Aster: A DSL for Engineering Self-Adaptive Systems.

Fatma Kachi, Chafia Bouanaka

Proceedings of the Advances in Computing Systems and Applications, 2022

A Hybrid approach for containerized Microservices auto-scaling.

Souheir Merkouche, Chafia Bouanaka

Proceedings of the 19th IEEE/ACS International Conference on Computer Systems and Applications, 2022

2020

A formal quantitative analysis of elastic cloud systems based on PSMaude.

Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib

J. King Saud Univ. Comput. Inf. Sci., 2020

SQAL Self-Adaptive System's Quality Assurance Language.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Int. J. Inf. Syst. Model. Des., 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

A Review of IoT Systems Engineering: Application to the Smart traffic lights system.

Chafia Bouanaka, Nadira Benlahrache, Sana Benhamaid, Emira Bouhamed

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

Towards an UML-based SoS Analysis and Design Process.

Nadira Benlahrache, Chafia Bouanaka, Mohamed Z. Bendjaballah, Abdoudjallil Djarri

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

IEDSS: Efficient Scheduling of Emergency Department Resources based on Fog Computing.

Chafia Bouanaka, Ala Eddine Laouir, Rassim Medkour

Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

2018

A Quality-driven Approach for Analyzing Elastic Cloud Computing.

Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2017

A Formal Framework for Scalable Component-Based Systems.

Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib

Int. J. Inf. Syst. Model. Des., 2017

Big-CAF: a bigraphical-generic cloud architecture framework.

Zakaria Benzadri, Chafia Bouanaka, Faiza Belala

Int. J. Grid Util. Comput., 2017

Towards Formal Planning for Quality-Aware Self-Adaptive Systems.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Self-adaptive Architecture for Ensuring QoS Contracts in Cloud-Based Systems.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016

A formal framework for context-aware systems specification and verification.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

J. Syst. Softw., 2016

Formal verification of cloud systems elasticity.

Hamza Sahli, Faïza Belala, Chafia Bouanaka

Int. J. Crit. Comput. Based Syst., 2016

Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Towards rewriting-based formal model for component-based systems verification.

Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

A theoretical approach for modelling Cloud Services Composition.

Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2015

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Proceedings of the 1st International Conference on Cloud Forward: From Distributed to Complete Computing, 2015

2014

Towards a Formal Model for Cloud Computing Elasticity.

Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Model Checking Pervasive Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Model-Checking Cloud Systems Using BigMC.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

On Specifying and Verifying Context-aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the ICSOFT-PT 2014, 2014

On Specifying Reconfigurable Component-Based Systems Using Strategies.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.

Zakaria Benzadri, Chafia Bouanaka, Faiza Belala

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker.

Zakaria Benzadri, Chafia Bouanaka, Faïza Belala

Proceedings of the ESaaSA 2014, 2014

2013

Towards a Formal Model for Cloud Computing.

Zakaria Benzadri, Faiza Belala, Chafia Bouanaka

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

2011

A tile logic-based semantics for mobile software architectures.

Chafia Bouanaka, Faiza Belala, Kamel Barkaoui

Int. J. Crit. Comput. Based Syst., 2011

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems.

Faiza Belala, Chafia Bouanaka, Kamel Barkaoui

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2010

Vers un Modèle de Déploiement à base de Bigraphes.

Nadira Benlahrache, Faiza Belala, Chafia Bouanaka, Malika Benammar

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

2009

Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML.

Sabine Boufenara, Faiza Belala, Chafia Bouanaka

Proceedings of the Langages et Modèles à Objets, 2009

An Event Structure based Coordination Model for Collaborative Sessions.

Kamel Barkaoui, Chafia Bouanaka, José Martín Molina Espinosa

Proceedings of the ICEIS 2009, 2009

A synchronization schema in activity diagrams via zero-safe-nets.

Sabine Boufenara, Faiza Belala, Chafia Bouanaka

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Tile logic as an architectural model for mobility.

Chafia Bouanaka, Faiza Belala

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Towards a mobile architecture description language.

Chafia Bouanaka, Faiza Belala

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session.

Chafia Bouanaka, Aicha Choutri, Faiza Belala

Proceedings of the ICSOFT 2007, 2007

1997

An automated system for analysis and interpretation of epileptiform activity in the EEG.

Rachid Benlamri, Mohamed Batouche, S. Rami, Chafia Bouanaka

Comput. Biol. Medicine, 1997