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

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

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

د.الزهرة محمد سباعي سباعي

أستاذ مساعد كلية هندسة وعلوم الحاسب بالخرج

الخرج
011-588-8860
z.sbai@psau.edu.sa

السيرة الذاتية
الأبحاث العلمية

المؤهلات العلمية

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.
Engineer in Computer Science from Tunis El Manar University (UTM), National Engineering School of Tunis (ENIT), Tunisia 2003.

الاهتمامات البحثية

Theoretical Computer Science
Formal Verification
Artificial Intelligence

الخبرات

Sep 2016 - حتى الآن - Assistant Professor - PSAU - CCES - CS dept
Sep 2011 - Sep 2016 - Assistant Professor - UTM - ENIT - TIC dept
Sep 2004 - Sep 2011 - Assistant - UTM - ENIT - TIC dept

مهام ومسؤوليات

Deputy head of CS department from September 2017 until now.

الأبحاث العلمية

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.

للاتصال من داخل الجامعة 1200
للاتصال من خارج الجامعة 011-588-1200
البريد الإلكترونى pr@psau.edu.sa
لطلب خدمة وفتح بلاغ للأعطال ithelp.psau.edu.sa

موقع حكومي رسمي تابع لحكومة المملكة العربية السعودية

روابط المواقع الالكترونية الرسمية السعودية تنتهي بـ edu.sa

المواقع الالكترونية الحكومية تستخدم بروتوكول HTTPS للتشفير و الأمان.

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

د.الزهرة محمد سباعي سباعي

المؤهلات العلمية

الاهتمامات البحثية

الخبرات

مهام ومسؤوليات

الأبحاث العلمية

تواصل مع قيادات الجامعة

إدارة العلاقات العامة والإعلام

Social

موقع حكومي رسمي تابع لحكومة المملكة العربية السعودية

روابط المواقع الالكترونية الرسمية السعودية تنتهي بـ edu.sa

المواقع الالكترونية الحكومية تستخدم بروتوكول HTTPS للتشفير و الأمان.

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

د.الزهرة محمد سباعي سباعي

المؤهلات العلمية

الاهتمامات البحثية

الخبرات

مهام ومسؤوليات

الأبحاث العلمية

إدارة العلاقات العامة والإعلام