CIRTA: An ECATNets Based Model for Embedded Systems Specification. - Nadia Zeghib; Mohamed Bettaz; Kamel Barkaoui (ESA, 2005)

Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. - Nadia Zeghib; Kamel Barkaoui; Mohamed Bettaz (AICCSA, 2006)

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 Pervasive Context-Aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (WETICE, 2014)

Formal specification of flexible web service composition. - Yasser Oussalah; Nadia Zeghib (Int. J. Crit. Comput. Based Syst., 2015)

Towards formal checking of Web services substitutability. - Sofiane Bourouz; Nadia Zeghib (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)

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)

A Formal Framework for Scalable Component-Based Systems. - Chafia Bouanaka; Ahmed Amar Debza; Faiza Belala; Nadia Zeghib (Int. J. Inf. Syst. Model. Des., 2017)

Towards Distributed Containerized Serverless Architecture in Multi Cloud Environment. - Boubaker Soltani; Afifa Ghenai; Nadia Zeghib (FNC/MobiSPC, 2018)

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

A Migration-based Approach to execute Long-Duration Multi-Cloud Serverless Functions. - Boubakeur Soltani; Afifa Ghenai; Nadia Zeghib (ICAASE, 2018)

On context-independent and context-aware cloud services substitutability verification. - Sofiane Bourouz; Nadia Zeghib (Int. J. Crit. Comput. Based Syst., 2018)

Data Oriented Blockchain: Off-Chain Storage with Data Dedicated and Prunable Transactions. - Oualid Boumaouche; Afifa Ghenai; Nadia Zeghib (ACOSIS, 2019)

A Multi-Objective Genetic GAN Oversampling: Application to Intelligent Transport Anomaly Detection . - Wayoud Bouzeraib; Afifa Ghenai; Nadia Zeghib (HPCC/DSS/SmartCity, 2020)

A Blockchain Data Balance Using a Generative Adversarial Network Approach: Application to Smart House IDS. - Wayoud Bouzeraib; Afifa Ghenai; Nadia Zeghib (ICAASE, 2020)

Performance analysis of self-organised multicast group in multi-radio multi-channel wireless mesh networks. - Lakhdar Derdouri; Congduc Pham; Elkhir Mohamed El Amine Zouaoui; Nadia Zeghib (IET Commun., 2020)

Execution of Long-Duration Multi-Cloud Serverless Functions Using Selective Migration-Based Approach. - Boubaker Soltani; Afifa Ghenai; Nadia Zeghib (Int. J. Cloud Appl. Comput., 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 Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN. - Wayoud Bouzeraib; Afifa Ghenai; Nadia Zeghib (BDIoT, 2021)

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

Enhancing IoT Intrusion Detection Systems Through Horizontal Federated Learning and Optimized WGAN-GP. - Wayoud Bouzeraib; Afifa Ghenai; Nadia Zeghib (IEEE Access, 2025)