Nadia Zeghib

According to our database, Nadia Zeghib authored at least 26 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Formal Specification of Non-Functional Properties of Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Int. J. Organ. Collect. Intell., 2022

2021

A Smart Healthcare Imbalanced Classes Model Using Multi Conditional-Task GAN.

Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib

Proceedings of the BDIoT'21: Proceedings of the 5th International Conference on Big Data and Internet of Things, 2021

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

SQAL Self-Adaptive System's Quality Assurance Language.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Int. J. Inf. Syst. Model. Des., 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

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

A Blockchain Data Balance Using a Generative Adversarial Network Approach: Application to Smart House IDS.

Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

A Multi-Objective Genetic GAN Oversampling: Application to Intelligent Transport Anomaly Detection\.

Wayoud Bouzeraib, Afifa Ghenai, Nadia Zeghib

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019

Data Oriented Blockchain: Off-Chain Storage with Data Dedicated and Prunable Transactions.

Oualid Boumaouche, Afifa Ghenai, Nadia Zeghib

Proceedings of the Advanced Communication Systems and Information Security, 2019

2018

On context-independent and context-aware cloud services substitutability verification.

Sofiane Bourouz, Nadia Zeghib

Int. J. Crit. Comput. Based Syst., 2018

A Migration-based Approach to execute Long-Duration Multi-Cloud Serverless Functions.

Boubakeur Soltani, Afifa Ghenai, Nadia Zeghib

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

A Quality-driven Approach for Analyzing Elastic Cloud Computing.

Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

Towards Distributed Containerized Serverless Architecture in Multi Cloud Environment.

Boubaker Soltani, Afifa Ghenai, Nadia Zeghib

Proceedings of the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, 2018

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 Formal Planning for Quality-Aware Self-Adaptive Systems.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Self-adaptive Architecture for Ensuring QoS Contracts in Cloud-Based Systems.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016

A formal framework for context-aware systems specification and verification.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

J. Syst. Softw., 2016

Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design.

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Towards rewriting-based formal model for component-based systems verification.

Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

Towards formal checking of Web services substitutability.

Sofiane Bourouz, Nadia Zeghib

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2015

Formal specification of flexible web service composition.

Yasser Oussalah, Nadia Zeghib

Int. J. Crit. Comput. Based Syst., 2015

2014

Model Checking Pervasive Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

On Specifying and Verifying Context-aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the ICSOFT-PT 2014, 2014

On Specifying Reconfigurable Component-Based Systems Using Strategies.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2006

Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.

Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

CIRTA: An ECATNets Based Model for Embedded Systems Specification.

Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui

Proceedings of The 2005 International Conference on Embedded Systems and Applications, 2005