Zohra Sbaï

28 papers C 4Journal 12Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Model checking deep neural networks: opportunities and challenges.
Frontiers Comput. Sci.
Zohra Sbaï
2025 C conf
Multi-level Optimization-based Ensemble Machine Learning for Efficient Crop Yield Prediction in Saudi Arabia.
FedCSIS
Raya Aldawoud, Zohra Sbaï
2023 J jnl
Intelligent techniques for deception detection: a survey and critical study.
Soft Comput.
Haya Alaskar, Zohra Sbaï, Wasiq Khan, Abir Hussain, Arwa Alrawais
2023 J jnl
Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment.
Expert Syst. J. Knowl. Eng.
Thavavel Vaiyapuri, Shabbab Ali Algamdi, Rajan John, Zohra Sbaï, Munira Alhelal, Ahmed Alkhayyat, Deepak Gupta
2021 — conf
Dates Fruit Classification Using Convolution Neural Networks.
ICICT (3)
Haya Alaskar, Shaikah Alhewaidi, Bayan Obaid, Ghadah Alzahrani, Aisha Abdulahi, Zohra Sbaï, Thavavel Vaiyapuri
2021 J jnl
GA-based multi-objective optimization technique for medical image denoising in wavelet domain.
J. Intell. Fuzzy Syst.
Thavavel Vaiyapuri, Haya Alaskar, Zohra Sbaï, Shri Devi
2021 J jnl
On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification.
Int. J. Serv. Sci. Manag. Eng. Technol.
Naima Jbeli, Zohra Sbaï
2020 J jnl
A data science approach for reliable classification of neuro-degenerative diseases using gait patterns.
J. Reliab. Intell. Environ.
Haya Alaskar, Abir Jaafar Hussain, Wasiq Khan, Hissam Tawfik, Pip Trevorrow, Panos Liatsis, Zohra Sbaï
2019 — conf
Twitter Analytics for Discovering Socially Important Locations for Business Improvement.
ISSPIT
Haya Alaskar, Thavavel Vaiyapuri, Zohra Sbaï
2018 — conf
On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$.
WorldCIST (2)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
2018 J jnl
TCTL
Trans. Comput. Collect. Intell.
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
2017 — conf
Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing.
ICSOC Workshops
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
2017 J jnl
On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology.
Int. J. Serv. Sci. Manag. Eng. Technol.
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
2016 J jnl
CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling.
Int. J. Serv. Sci. Manag. Eng. Technol.
Zohra Sbaï, Rawand Guerfel
2016 — conf
On Expressiveness of TCTL
ICCCI (1)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
2016 C conf
Towards TCTLh
CoDIT
Ameni Chtourou, Zohra Sbaï
2015 — conf
Model Checking Web Services Choreography.
EOMAS@CAiSE
Arbia Ben Azaiez, Zohra Sbaï
2015 C conf
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension.
VECoS
Zohra Sbaï, Kamel Barkaoui
2015 — conf
Towards a System for Cloud Service Discovery and Composition Based on Ontology.
ICCCI (2)
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
2014 — conf
Compatibility Analysis of Time Open Workflow Nets.
PNSE @ Petri Nets
Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb
2014 — conf
D&A4WSC as a Design and Analysis Framework of Web Services Composition.
PNSE @ Petri Nets
Rawand Guerfel, Zohra Sbaï
2014 — conf
On Compatibility Analysis of Inter Organizational Business Processes.
EOMAS@CAiSE
Zohra Sbaï, Kamel Barkaoui
2014 C conf
On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture.
CloudCom
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
2013 J jnl
Model Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks
CoRR
Zohra Sbaï, Mohamed Escheikh
2013 J jnl
Vérification Formelle des Processus Workflow Collaboratifs.
CoRR
Zohra Sbaï, Kamel Barkaoui
2013 J jnl
Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels.
Ingénierie des Systèmes d Inf.
Zohra Sbaï, Kamel Barkaoui
2010 — —
Contribution à la modélisation et à la vérification de processus workflow.
Zohra Sbaï
2010 — conf
Model Checking Verification of Web Services Composition.
ACT4SOC
Abdallah Missaoui, Zohra Sbaï, Kamel Barkaoui