Nadia Zeghib

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 20

Top Topics

Scripting Languages

Context Aware Services

Formal Specification

Top Venues

Int. J. Crit. Comput. Based Syst.

Int. J. Inf. Syst. Model. Des.

Publications

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Formal Specification of Non-Functional Properties of Context-Aware Systems. Int. J. Organ. Collect. Intell. 12 (2) (2022)
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
A Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN. BDIoT (2021)
Boubaker Soltani, Afifa Ghenai, Nadia Zeghib
Execution of Long-Duration Multi-Cloud Serverless Functions Using Selective Migration-Based Approach. Int. J. Cloud Appl. Comput. 10 (4) (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)
Lakhdar Derdouri, Congduc Pham, Elkhir Mohamed El Amine Zouaoui, Nadia Zeghib
Performance analysis of self-organised multicast group in multi-radio multi-channel wireless mesh networks. IET Commun. 14 (4) (2020)
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
A Multi-Objective Genetic GAN Oversampling: Application to Intelligent Transport Anomaly Detection\. HPCC/DSS/SmartCity (2020)
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
A Blockchain Data Balance Using a Generative Adversarial Network Approach: Application to Smart House IDS. ICAASE (2020)
Oualid Boumaouche, Afifa Ghenai, Nadia Zeghib
Data Oriented Blockchain: Off-Chain Storage with Data Dedicated and Prunable Transactions. ACOSIS (2019)
Sofiane Bourouz, Nadia Zeghib
On context-independent and context-aware cloud services substitutability verification. Int. J. Crit. Comput. Based Syst. 8 (1) (2018)
Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
A Quality-driven Approach for Analyzing Elastic Cloud Computing. ICAASE (2018)
Boubakeur Soltani, Afifa Ghenai, Nadia Zeghib
A Migration-based Approach to execute Long-Duration Multi-Cloud Serverless Functions. ICAASE (2018)
Boubaker Soltani, Afifa Ghenai, Nadia Zeghib
Towards Distributed Containerized Serverless Architecture in Multi Cloud Environment. FNC/MobiSPC (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)
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
Towards Formal Planning for Quality-Aware Self-Adaptive Systems. WETICE (2017)
Sofiane Bourouz, Nadia Zeghib
Towards formal checking of Web services substitutability. 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)
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design. ModComp@MoDELS (2016)
Yasser Oussalah, Nadia Zeghib
Formal specification of flexible web service composition. Int. J. Crit. Comput. Based Syst. 6 (2) (2015)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
On Specifying Reconfigurable Component-Based Systems Using Strategies. ICCSA (1) (2014)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Model Checking Pervasive Context-Aware Systems. WETICE (2014)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
On Specifying and Verifying Context-aware Systems. ICSOFT PT (2014)
Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz
Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. AICCSA (2006)
Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui
CIRTA: An ECATNets Based Model for Embedded Systems Specification. ESA (2005)