Model Checking Verification of Web Services Composition. - Abdallah Missaoui; Zohra Sbaï; Kamel Barkaoui (ACT4SOC, 2010)

Contribution à la modélisation et à la vérification de processus workflow. - Zohra Sbaï (2010)

Vérification Formelle des Processus Workflow Collaboratifs. - Zohra Sbaï; Kamel Barkaoui (CoRR, 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. Extension aux workflows inter-organisationnels. - Zohra Sbaï; Kamel Barkaoui (Ingénierie des Systèmes d Inf., 2013)

D&A4WSC as a Design and Analysis Framework of Web Services Composition. - Rawand Guerfel; Zohra Sbaï (PNSE @ Petri Nets, 2014)

Compatibility Analysis of Time Open Workflow Nets. - Zohra Sbaï; Kamel Barkaoui; Hanifa Boucheneb (PNSE @ Petri Nets, 2014)

On Compatibility Analysis of Inter Organizational Business Processes. - Zohra Sbaï; Kamel Barkaoui (EOMAS@CAiSE, 2014)

On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture. - Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed (CloudCom, 2014)

Model Checking Web Services Choreography. - Arbia Ben Azaiez; Zohra Sbaï (EOMAS@CAiSE, 2015)

Towards a System for Cloud Service Discovery and Composition Based on Ontology. - Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed (ICCCI (2), 2015)

On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. - Zohra Sbaï; Kamel Barkaoui (VECoS, 2015)

Towards TCTLhΔ model checking of time Petri nets. - Ameni Chtourou; Zohra Sbaï (CoDIT, 2016)

On Expressiveness of TCTLΔh for Model Checking Distributed Systems. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (ICCCI (1), 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)

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. - Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed (ICSOC Workshops, 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)

On the Fly Model-Checking of TPN: $$TPN-TCTL^{ varDelta }_{h}$$. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (WorldCIST (2), 2018)

TCTLΔh Model Checking of Time Petri Nets. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (Trans. Comput. Collect. Intell., 2018)

Twitter Analytics for Discovering Socially Important Locations for Business Improvement. - Haya Alaskar; Thavavel Vaiyapuri; Zohra Sbaï (ISSPIT, 2019)

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)

Dates Fruit Classification Using Convolution Neural Networks. - Haya Alaskar; Shaikah Alhewaidi; Bayan Obaid; Ghadah Alzahrani; Aisha Abdulahi; Zohra Sbaï; Thavavel Vaiyapuri (ICICT (3), 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)

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)

Intelligent techniques for deception detection: a survey and critical study. - Haya Alaskar; Zohra Sbaï; Wasiq Khan; Abir Hussain; Arwa Alrawais (Soft Comput., 2023)

Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment. - Thavavel Vaiyapuri; Shabbab Ali Algamdi; Rajan John; Zohra Sbaï; Munira Alhelal; Ahmed Alkhayyat 001; Deepak Gupta 002 (Expert Syst. J. Knowl. Eng., 2023)