Nadia Zeghib - RankMe

27 papers A 1C 4Journal 10Unranked 12

Year	Rank	Type	Title / 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