Chafia Bouanaka

47 papers C 12Journal 11Unranked 23

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