Zohra Sbaï

According to our database, Zohra Sbaï authored at least 26 papers between 2010 and 2023.

Collaborative distances:

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

2023

Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment.

Thavavel Vaiyapuri, Shabbab Algamdi, Rajan John, Zohra Sbaï, Munira Alhelal, Ahmed Alkhayyat, Deepak Gupta

Expert Syst. J. Knowl. Eng., June, 2023

Intelligent techniques for deception detection: a survey and critical study.

Haya Alaskar, Zohra Sbaï, Wasiq Khan, Abir Hussain, Arwa Alrawais

Soft Comput., April, 2023

2021

GA-based multi-objective optimization technique for medical image denoising in wavelet domain.

Thavavel Vaiyapuri, Haya Alaskar, Zohra Sbaï, Shri Devi

J. Intell. Fuzzy Syst., 2021

On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification.

Naima Jbeli, Zohra Sbaï

Int. J. Serv. Sci. Manag. Eng. Technol., 2021

Dates Fruit Classification Using Convolution Neural Networks.

Haya Alaskar, Shaikah Alhewaidi, Bayan Obaid, Ghadah Alzahrani, Aisha Abdulahi, Zohra Sbaï, Thavavel Vaiyapuri

Proceedings of Sixth International Congress on Information and Communication Technology, 2021

2020

A data science approach for reliable classification of neuro-degenerative diseases using gait patterns.

Haya Alaskar, Abir Jaafar Hussain, Wasiq Khan, Hissam Tawfik, Pip Trevorrow, Panos Liatsis, Zohra Sbaï

J. Reliab. Intell. Environ., 2020

2019

Twitter Analytics for Discovering Socially Important Locations for Business Improvement.

Haya Alaskar, Thavavel Vaiyapuri, Zohra Sbaï

Proceedings of the IEEE International Symposium on Signal Processing and Information Technology, 2019

2018

TCTL^Δ_h Model Checking of Time Petri Nets.

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed

Trans. Comput. Collect. Intell., 2018

On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$.

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

2017

On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Int. J. Serv. Sci. Manag. Eng. Technol., 2017

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling.

Zohra Sbaï, Rawand Guerfel

Int. J. Serv. Sci. Manag. Eng. Technol., 2016

On Expressiveness of TCTL^Δ_h for Model Checking Distributed Systems.

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

Towards TCTLh^Δ model checking of time Petri nets.

Ameni Chtourou, Zohra Sbaï

Proceedings of the International Conference on Control, 2016

2015

On quantitative Analysis of Time Open Workflow Nets and Parametric Extension.

Zohra Sbaï, Kamel Barkaoui

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Towards a System for Cloud Service Discovery and Composition Based on Ontology.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Computational Collective Intelligence - 7th International Conference, 2015

Model Checking Web Services Choreography.

Arbia Ben Azaiez, Zohra Sbaï

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

2014

On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

On Compatibility Analysis of Inter Organizational Business Processes.

Zohra Sbaï, Kamel Barkaoui

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

Compatibility Analysis of Time Open Workflow Nets.

Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

D&A4WSC as a Design and Analysis Framework of Web Services Composition.

Rawand Guerfel, Zohra Sbaï

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels.

Zohra Sbaï, Kamel Barkaoui

Ingénierie des Systèmes d Inf., 2013

Model Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks

Zohra Sbaï, Mohamed Escheikh

CoRR, 2013

Vérification Formelle des Processus Workflow Collaboratifs.

Zohra Sbaï, Kamel Barkaoui

CoRR, 2013

2010

Contribution à la modélisation et à la vérification de processus workflow.

Zohra Sbaï

PhD thesis, 2010

Model Checking Verification of Web Services Composition.

Abdallah Missaoui, Zohra Sbaï, Kamel Barkaoui

Proceedings of the ACT4SOC 2010, 2010