Skip to main content
logo
اللغة
  • عربي
  • English
Login الرؤية الليلية
  • Top Management
    • Rector Office
    • The Emergence Of The University
    • Vision, Mission and Objectives
    • The Administrative Structure
  • Vice Rectories
    • Vice-Rectorate
    • Vice Rectorate of Academic and Educational Affairs
    • Vice-Rectorate for Development and Quality
    • Vice-Rectorate of Graduate Studies and Scientific Research
    • Vice-Rectorate of Branches
    • Vice-Rectorate of Female Students Affairs
  • Deanships
    • Deanship of Admission and Registration
    • Deanship of Preparatory Year
    • Deanship of Scientific Research
    • Deanship of Development and Quality
    • Deanship of Postgraduate Studies
    • Deanship of Human Resources
    • Deanship of IT and Distance Learning
    • Deanship of Library Affairs
    • Deanship of Community Service and Continuing Education
    • Deanship of Student Affairs
    • Institute of Research and Consulting Services
  • Media Center
    • News Center
    • Press Kit
    • Publications
    • University Newspaper
    • Photo Albums
    • Videos Album
    • Events
  • Initiatives and centers
    • Statistical Information Center
    • Business Incubator
    • Documents and Archive Center
    • University Education Development Center
    • Scientific Council
    • Marefa
  • The Library
    • University Libraries
    • Saudi Digital Library
  • Admission and Registration
اللغة
  • عربي
  • English

Social

  •  
  •  
  •  
  •  
  •  
  •  
  •  
Official government website of the Government of the Kingdom of Saudi Arabia
How to verify
Links to official Saudi websites end with edu.sa

All links to official websites of government agencies in the Kingdom of Saudi Arabia end with gov.sa.

Government websites use the HTTPS protocol for encryption and security.

Secure websites in the Kingdom of Saudi Arabia use the HTTPS protocol for encryption.

Registered with the Digital Government Authority under number :

20250731655
Home

Faculty Members

  • Main Portal
  • Faculty Members
  • E-Services
    • Students Services
    • Faculty Members Services
    • Employees Members Services
    • Visitors Services
    • E-Services Portal
  • Contacts
    • Contact Form
    • Important Numbers
    • Maps

مواقع أعضاء هيئة التدريس

كل ما تحتاجه من أستاذك… في مكان واحد

Breadcrumb

    You are here:
  1. Home /
  2. Faculty Members /

Dr.Zohra Mohamed SBAI SBAI

Assistant Professor College of Computer Engineering & Sciences
  • Kharj
  • 011-588-8860
  • z.sbai@psau.edu.sa
  • Curriculum Vitae
  • Publications

Education

  • Engineer in Computer Science from Tunis El Manar University (UTM), National Engineering School of Tunis (ENIT), Tunisia 2003.

  • Ph.D. in Computer Science from National conservatory of arts and crafts (CNAM), Paris, France 2010.

  • Master in Automatic and Signal Processing from Tunis El Manar University (UTM), National Engineering School of Tunis (ENIT), Tunisia 2004.

Research Interests

  • Theoretical Computer Science
  • Formal Verification
  • Artificial Intelligence

Experience

  • Sep 2004 - Sep 2011 - Assistant - UTM - ENIT - TIC dept
  • Sep 2011 - Sep 2016 - Assistant Professor - UTM - ENIT - TIC dept
  • Sep 2016 - until now - Assistant Professor - PSAU - CCES - CS dept

Responsibilities

  • Deputy head of CS department from September 2017 until now

Publications

  • Alaskar, H., Sbaï, Z., Khan, W., Hussain, A., Alrawais, A. Intelligent techniques for deception detection: a survey and critical study. Soft Computing, 27(7), 3581-3600. 2023.
  • Vaiyapuri T., Algamdi S., John R., Sbai Z., Al‐Helal M., Alkhayyat A., Gupta D. Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment. Expert Systems 40 (5), 2023
  • Alaskar H, Hussain A, Almaslukh B, Vaiyapuri T, Sbai Z, Dubey AK. Deep learning approaches for automatic localization in medical images. Computational Intelligence and Neuroscience. 2022;2022.
  • Alaskar H, Alhewaidi S, Obaid B, Alzahrani G, Abdulahi A, Sbai Z, Vaiyapuri T. Dates fruit classification using convolution neural networks. InProceedings of Sixth International Congress on Information and Communication Technology: ICICT 2021, London, Volume 3 2022 (pp. 757-775). Springer Singapore.
  • Al-Tahri M, Al-Tamimi N, Al-Harbi S, Abduallah A, Alaskar H, Sbai Z. Deceptive Detection based on Audio Spectrum Analysis using Deep Learning. In2022 international conference on electrical, computer, communications and mechatronics engineering (ICECCME) 2022 Nov 16 (pp. 1-4). IEEE.
  • Vaiyapuri T, Balaji P, Alaskar H, Sbai Z. Computational intelligence-based melanoma detection and classification using dermoscopic images. Computational Intelligence and Neuroscience. 2022 May 31;2022.
  • Vaiyapuri T., Alaskar H., Sbaï Z., Devi S. GA-based multi-objective optimization technique for medical image denoising in wavelet domain. J. Intell. Fuzzy Syst, Vol. 41, No. 1.
  • 2021
  • Vaiyapuri T., Sbaï Z., Alaskar H., Alaseem N. Deep Learning Approaches for Intrusion Detection in IIoT Networks – Opportunities and Future Directions. (IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 12, No. 4. 2021
  • Sbaï Z. Formal Verification of Control and Operational Behaviors in Industrial Internet of Things Services Composition. International Journal of Advanced Trends in Computer Science and Engineering (IJATCSE), 10(2). 2021
  • Jbeli N. and Sbaï Z. On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification. Int. J. Serv. Sci. Manag. Eng. Technol. Vol. 12, No.4. 2021
  • H. Alaskar, S. Alhewaidi, B. Obaid, G. Alzahrani, A. Abdulahi, Z. Sbai, and T. Vaiyapuriز. Dates Fruit Classification Using Convolutional Neural Network. International Congress on Information and Communication Technology (ICICT 2021), Uxbridge, UK. 2021
  • Alaskar H., Hussain A., Khan W., Tawfik H., Trevorrow P., Liatsis P., Sbaï Z. A data science approach for reliable classification of neuro-degenerative diseases using gait patterns. Journal on Reliable Intelligent Environments. Vol. 6. No 4, pp. 233-247. 2020
  • Alaskar H., Vaiyapuri T., Sbaï Z. Twitter Analytics for Discovering Socially Important Locations for Business Improvement. IEEE Symposium on Signal Processing and Information Technology (ISSPIT). 2019
  • Jbeli N., Sbaï Z., Ben Ayed R. TCTLhdelta Model Checking of Time Petri nets. LNCS Transactions on Computational Collective Intelligence, Vol. 30, pp. 242-262. Lecture Notes in Computer Science 11120, Springer 2018, ISBN 978-3-319-99809-1. 2018
  • Sbaï Z. Applying Formal Methods to Verify Web Services Orchestration and Choreography. In Multidisciplinary Approaches to Service-Oriented Engineering, ed. Mehdi Khosrow-Pour, D.B.A., 221-243 (2018), doi:10.4018/978-1-5225-5951-1.ch011. May 2018
  • Jbeli N., Sbai Z., Ben Ayed R. On the fly model-checking of TPN: TPN-TCTLhdelta . World Conference on Information Systems and Technologies (WorldCist'18). Proceedings, Part II. Advances in Intelligent Systems and Computing, volume 746, Springer 2018, ISBN 978-3-319-77711-5, pp. 441- 451, Naples, Italy . March 2018
  • Guerfel R., Sbaï Z., Ben Ayed R. On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology. International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Vol. 8. No 3, pp. 60-78. 2017
  • Guerfel R., Sbaï Z., Ben Ayed R. Model checking of cost-effective elasticity strategies in Cloud computing. Workshop on Adaptive Service-Oriented and Cloud Applications, held in conjunction with ICSOC 2017 in Malaga, Spain. November 2017
  • Jbeli N., Sbaï Z., Ben Ayed R. On expressiveness of TCTLhdelta for Model Checking Distributed Systems. Computational Collective Intelligence - 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9875, Springer 2016, ISBN 978-3-319-45242-5. September 2016
  • Sbaï Z., Guerfel R. (2016) CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling. International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Vol. 7. No 1, pp. 27-42. 2016
  • Jbeli N., Sbai Z., Ben Ayed R. TCTLhdelta for Quantitative Verification of Timed Systems. International Workshop on Advanced Information Systems for Enterprises (IWAISE'16). November 2016
  • Chtourou A., Sbaï Z. Towards TCTLhdelta model checking of Time Petri Nets. International Conference on Control, Decision and Information Technologies, CoDIT 2016, Saint Julian's, Malta, April 6-8, 2016. IEEE 2016, ISBN 978-1-5090-2188-8. April 2016
  • Louati A., Barkaoui K., Sbaï Z. Formal Verification of UML2 Timing Diagrams Based on Time Petri Nets. International Conference on Information Systems and Technologies (ICIST 2015), March 2015, pp.12-22, Istanbul, Turkey. 2015
  • Sbaï Z., Barkaoui K., Sbaï Z. On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. CEUR Workshop Proceedings 1431, pp. 97-108. September 2015
  • Guerfel R., Sbaï Z., Ben Ayed R. Towards a System for Cloud Services Discovery and Composition based on Ontology. Computational Collective Intelligence - 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9330, Springer 2015, ISBN 978-3-319-24305-4, pp. 34-43. September 2015
  • Ben Azaies A., Sbai Z. Model Checking Web Services Choreography. Enterprise and Organizational Modeling and Simulation - 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Selected Papers. Lecture Notes in Business Information Processing 231, Springer 2015, ISBN 978-3-319-24625-3. June, 2015
  • N. Jbeli, Z. Sbaï. Formal analysis of Web Services Composition with Tasks Delays. International Conference on Automation, Control, Engineering and Computer Science, Tunisia. 2015
  • Gh. Zayani, Z. Sbaï. A Formal Approach of Modeling and Analysis of Time Constrained Web Services Compositions. International Conference on Automation, Control, Engineering and Computer Science, Tunisia. 2015
  • Z. Sbaï, K. Barkaoui, "On compatibility analysis of inter organizational business processes", Proceedings of the 10th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2014), in conjunction with CAiSE 2014.
  • Z. Sbaï, K. Barkaoui, H. Boucheneb, "Compatibility Analysis of Time Open Workflow Nets", Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2014), in conjunction with Petri nets and ACSD, pp. 249-268, 2014.
  • R.Guerfel, Z. Sbai, R. Ben Ayed, On Service Composition in Cloud Computing: a Survey and an Ongoing Architecture. In Proceedings of the 6th Internatinal Conference on Cloud Computing Technology and Science. Singapore. 2014.
  • R. Guerfel, Z. Sbaï, "D&A4WSC as a Design and Analysis framework of Web services composition", Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2014), in conjunction with Petri nets and ACSD, pp. 337-338, 2014.
  • Z. Sbaï, K. Barkaoui, "Vérification formelle des processus workflow – Extension aux workflows inter-organisationnels", revue Ingénierie des Systèmes d'Information (ISI), Vol. 18, No. 5, pp. 33-57, 2013.
  • R. Guerfel, Z. Sbaï, K. Barkaoui, "Web services composition modeling and formal verification tool based on NuSMV model checker", International Conference on Control, Engineering & Information Technology (CEIT'13), Proceedings Engineering & Technology - Vol. 2, pp. 140-145, 2013.
  • Z. Sbaï, K. Barkaoui, "Vérification Formelle des Processus Workflow Collaboratifs", Actes de la conférence francophone sur les Systèmes Collaboratifs (SysCo’12), pp. 197-210, 2012.
  • Z. Sbaï, M. Escheikh, "Model Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks", International Conference on Information Processing and Wireless Systems (IP-WiS), 2012.
  • I. El Mejid, A. Missaoui, Z. Sbaï, "Towards Model Checking Verification of Web Services Composition", accepted in International Conference on Interaction Sciences, 2011.
  • Z. Sbaï, A. Missaoui, K. Barkaoui, R. Ben Ayed, "On the Verification of Business Processes by Model Checking Techniques", IEEE International Conference on Software Technology and Engineering (ICSTE’10), Vol1, pp. 97-103, 2010.
  • A. Missaoui, Z. Sbaï, K. Barkaoui, "Vérification formelle des aspects de cohérence d’un Workflow net", Revue électronique Sciences et Technologies de l’Automatique e-STA, Vol. 7, No. 1, pp. 37-41, 2010.
  • A. Missaoui, Z. Sbaï, K. Barkaoui, "Model Checking Verification of Web Services Composition", International Workshop on Architectures, Concepts and Technologies for Service-Oriented Computing (ACT4SOC’10), pp. 80-92, 2010.
  • Z. Sbaï, K. Barkaoui, R. Ben Ayed, "Workflow Modeling and Analysis using Petri Nets", accepted in International Conference on Information and Communication Systems, ICICS 2009.
  • Z. Sbaï, R. Ben Ayed, K. Barkaoui, "Modelling and Analysis of Workflow Processes with Timing Constrained Petri Nets", International Conference on Computing & e-Systems, TIGERA’09, 2009.
  • Z. Sbaï, K. Barkaoui, R. Ben Ayed, "Sur la vérification de la cohérence de processus workflow temporisés", In Nouvelles Tendances Technologies en Génie Electrique et Informatique, GEI’08, pp. 451-460, Ed CPU, 2008.
  • K. Barkaoui, R. Ben Ayed, Z. Sbaï, "Vérification Paramétrée de la Cohérence des Processus Workflow", 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs MSR’07, pp. 193-208, 2007.
  • K. Barkaoui, R. Ben Ayed, Z. Sbaï, "Workflow Soundness Verification based on Structure Theory of Petri Nets", International Journal of Computing & Information Sciences, ISSN 1708-0460 (Print), ISSN 1708-0479 (On-Line), Vol. 4, No. 1, pp. 51-61, 2007.
  • Z. Sbaï, R. Ben Ayed, K. Barkaoui, "Vers l’analyse des processus d’entreprise jPdl fondée sur les réseaux de Petri", In Nouvelles Tendances Technologiques en Génie Electrique et Informatique, GEI’06, pp. 171-181, Ed CPU, 2006.

Contact the university leaders

Our male and female students, we are pleased to communicate with you and receive your inquiries through the communication system

Contact
  • Helpful Information
    • Phone Directory
    • Academic Calendar
    • Other Universities
    • Open Data
  • Portal Map
    • Jobs
    • Sitemap
    • Related Links
    • FAQs
    • Old portal version
  • Automation and Digital Transformation
    • Portal Team Member
    • Technical Support
    • Information Technology
  • Policies and Procedures
    • Policies
    • Tenders

Administration of Public Relations and Media

  • To call from inside the university 1200
  • To call from outside the university 011-588-1200
  • E-mail pr@psau.edu.sa
  • To request a service and open a fault report ithelp.psau.edu.sa

© Prince Sattam bin Abdulaziz University 2022

  •  
  •  
  •  
  •  
  •  

Designed and Developed by the Deanship of Information Technology and Distance Learning