Zohra Sbaï

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 14

Top Venues

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

CoRR

EOMAS@CAiSE

PNSE @ Petri Nets

Tunis University, Tunisia (PHD)

Education History

Tunis University, Tunisia

PHD

Publications

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

Zohra Sbaï.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zohra Sbaï