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)

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. - Chafia Bouanaka; Aicha Choutri; Faiza Belala (ICSOFT (SE), 2007)

Towards a mobile architecture description language. - Chafia Bouanaka; Faiza Belala (AICCSA, 2008)

Tile logic as an architectural model for mobility. - Chafia Bouanaka; Faiza Belala (ISCC, 2008)

A synchronization schema in activity diagrams via zero-safe-nets. - Sabine Boufenara; Faiza Belala; Chafia Bouanaka (AICCSA, 2009)

An Event Structure based Coordination Model for Collaborative Sessions. - Kamel Barkaoui; Chafia Bouanaka; José Martín Molina Espinosa (ICEIS (3), 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 (LMO, 2009)

Vers un Modèle de Déploiement à base de Bigraphes. - Nadira Benlahrache; Faiza Belala; Chafia Bouanaka; Malika Benammar (CAL, 2010)

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. - Faiza Belala; Chafia Bouanaka; Kamel Barkaoui (NOTERE, 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 Formal Model for Cloud Computing. - Zakaria Benzadri; Faiza Belala; Chafia Bouanaka (ICSOC Workshops, 2013)

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. - Zakaria Benzadri; Chafia Bouanaka; Faïza Belala (ESaaSA@CLOSER, 2014)

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. - Zakaria Benzadri; Chafia Bouanaka; Faiza Belala (ICAASE, 2014)

On Specifying Reconfigurable Component-Based Systems Using Strategies. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (ICCSA (1), 2014)

On Specifying and Verifying Context-aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (ICSOFT PT, 2014)

Model-Checking Cloud Systems Using BigMC. - Hamza Sahli; Faiza Belala; Chafia Bouanaka (VECoS, 2014)

Model Checking Pervasive Context-Aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (WETICE, 2014)

Towards a Formal Model for Cloud Computing Elasticity. - Hamza Sahli; Chafia Bouanaka; Ahmed Taki Eddine Dib (WETICE, 2014)

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. - Hamza Sahli; Faiza Belala; Chafia Bouanaka (Cloud Forward, 2015)

A theoretical approach for modelling Cloud Services Composition. - Zakaria Benzadri; Nabil Hameurlain; Faiza Belala; Chafia Bouanaka (ICAASE, 2016)

Towards rewriting-based formal model for component-based systems verification. - Ahmed Amar Debza; Chafia Bouanaka; Nadia Zeghib (ICAASE, 2016)

Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design. - Esma Maatougui; Chafia Bouanaka; Nadia Zeghib (ModComp@MoDELS, 2016)

Formal verification of cloud systems elasticity. - Hamza Sahli; Faïza Belala; Chafia Bouanaka (Int. J. Crit. Comput. Based Syst., 2016)

A formal framework for context-aware systems specification and verification. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (J. Syst. Softw., 2016)

Self-adaptive Architecture for Ensuring QoS Contracts in Cloud-Based Systems. - Esma Maatougui; Chafia Bouanaka; Nadia Zeghib (MEDI, 2017)

Towards Formal Planning for Quality-Aware Self-Adaptive Systems. - Esma Maatougui; Chafia Bouanaka; Nadia Zeghib (WETICE, 2017)

Big-CAF: a bigraphical-generic cloud architecture framework. - Zakaria Benzadri; Chafia Bouanaka; Faiza Belala (Int. J. Grid Util. Comput., 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)

A Quality-driven Approach for Analyzing Elastic Cloud Computing. - Chafia Bouanaka; Esma Maatougui; Faiza Belala; Nadia Zeghib (ICAASE, 2018)

IEDSS: Efficient Scheduling of Emergency Department Resources based on Fog Computing. - Chafia Bouanaka; Ala Eddine Laouir; Rassim Medkour (AICCSA, 2020)

Towards an UML-based SoS Analysis and Design Process. - Nadira Benlahrache; Chafia Bouanaka; Mohamed Z. Bendjaballah; Abdoudjallil Djarri (ICAASE, 2020)

A Review of IoT Systems Engineering: Application to the Smart traffic lights system. - Chafia Bouanaka; Nadira Benlahrache; Sana Benhamaid; Emira Bouhamed (ICAASE, 2020)

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)

SQAL Self-Adaptive System's Quality Assurance Language. - Esma Maatougui; Chafia Bouanaka; Nadia Zeghib (Int. J. Inf. Syst. Model. Des., 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)

A Hybrid approach for containerized Microservices auto-scaling. - Souheir Merkouche; Chafia Bouanaka (AICCSA, 2022)

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

TERA-Scheduler for a Dependency-based Orchestration of Microservices. - Souheir Merkouche; Tarik Haroun; Chafia Bouanaka; Manel Smaali (ICAASE, 2022)

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

A Proactive Formal Approach For Microservice-based Applications Auto-Scaling. - Souheir Merkouche; Chafia Bouanaka (RIF, 2022)

Formal Specification of Non-Functional Properties of Context-Aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (Int. J. Organ. Collect. Intell., 2022)

A Petri Net-based Formal Modeling for Microservices Auto-scaling. - Souheir Merkouche; Chafia Bouanaka; Elhadj Benkhelifa (AICCSA, 2023)

TERA-Scaler for a Proactive Auto-Scaling of e-Business Microservices. - Souheir Merkouche; Chafia Bouanaka (ICSOFT, 2023)

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