Nadia Zeghib

27 papers A 1C 4Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Enhancing IoT Intrusion Detection Systems Through Horizontal Federated Learning and Optimized WGAN-GP.
IEEE Access
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
2022 J jnl
Formal Specification of Non-Functional Properties of Context-Aware Systems.
Int. J. Organ. Collect. Intell.
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
2021 — conf
A Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN.
BDIoT
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
2020 — conf
A Blockchain Data Balance Using a Generative Adversarial Network Approach: Application to Smart House IDS.
ICAASE
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
2020 — conf
A Multi-Objective Genetic GAN Oversampling: Application to Intelligent Transport Anomaly Detection\.
HPCC/DSS/SmartCity
Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib
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 J jnl
Execution of Long-Duration Multi-Cloud Serverless Functions Using Selective Migration-Based Approach.
Int. J. Cloud Appl. Comput.
Boubaker Soltani, Afifa Ghenai, Nadia Zeghib
2020 J jnl
Performance analysis of self-organised multicast group in multi-radio multi-channel wireless mesh networks.
IET Commun.
Lakhdar Derdouri, Congduc Pham, Elkhir Mohamed El Amine Zouaoui, Nadia Zeghib
2020 J jnl
SQAL Self-Adaptive System's Quality Assurance Language.
Int. J. Inf. Syst. Model. Des.
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
2019 — conf
Data Oriented Blockchain: Off-Chain Storage with Data Dedicated and Prunable Transactions.
ACOSIS
Oualid Boumaouche, Afifa Ghenai, Nadia Zeghib
2018 — conf
A Migration-based Approach to execute Long-Duration Multi-Cloud Serverless Functions.
ICAASE
Boubakeur Soltani, Afifa Ghenai, Nadia Zeghib
2018 — conf
A Quality-driven Approach for Analyzing Elastic Cloud Computing.
ICAASE
Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
2018 J jnl
On context-independent and context-aware cloud services substitutability verification.
Int. J. Crit. Comput. Based Syst.
Sofiane Bourouz, Nadia Zeghib
2018 — conf
Towards Distributed Containerized Serverless Architecture in Multi Cloud Environment.
FNC/MobiSPC
Boubaker Soltani, Afifa Ghenai, 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 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
Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design.
ModComp@MoDELS
Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
2016 — conf
Towards formal checking of Web services substitutability.
ICAASE
Sofiane Bourouz, Nadia Zeghib
2016 — conf
Towards rewriting-based formal model for component-based systems verification.
ICAASE
Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib
2015 J jnl
Formal specification of flexible web service composition.
Int. J. Crit. Comput. Based Syst.
Yasser Oussalah, Nadia Zeghib
2014 C conf
Model Checking Pervasive Context-Aware Systems.
WETICE
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
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
2006 C conf
Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.
AICCSA
Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz
2005 A conf
CIRTA: An ECATNets Based Model for Embedded Systems Specification.
ESA
Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui