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

أ.د.خالد محمد الصادق بسيس

Full Professor in Computer Science استاذ قسم علوم الحاسب كلية هندسة وعلوم الحاسب بالخرج

الخرج
011-588-8385
k.bsaies@psau.edu.sa

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

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

المسار الدراسي و الأكاديمي: ١ ـ تحصَّلت على شهادة بكالوريا التعليم الثانوي عام ١٩٨١ ٢ ـ تحصَّلت على الشهادة الجامعية للدراسات العلمية (رياضيَّات و فيزياء) من كلية العلوم بتونس عام ١٩٨٣ ٣ ـ تحصَّلت على شهادة مهندس أوَّل في الإعلامية من كلية العلوم بتونس عام ١٩٨٧ مع الملا حظة أنِّي كنت الأوَّل في دفعتي وقمت في السنة الختامية بمشروع ختم الدروس بمخبر البحث في الإعلامية بنانسي بفرنسا ٤ ـ تحصَّلت على شهادة التعمُّق في البحث من جامعة نانسي 1 بفرنسا عام ١٩٩٠ ٥ ـ تحصَّلت على شهادة الدكتوراه من جامعة نانسي 1 بفرنسا عام ١٩٩٣ ٦ ـ تحصَّلت على شهادة التأهيل الجامعي من كلية العلوم بتونس عام ١٩٩٩

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

RESEARCH, TEACHING INTERESTS
• Data and program specification
• Semantics of declarative programs
• Program design and verification
• Computer science foundations
• Algorithmic and heuristic programming
• Automatic Transformation of Declarative programs
• Automatic Deduction of implicative properties
• Correction of faulty conjectures
• Program Synthesis
• Compiler Construction techniques
• Calculability
• Logic in Computer Science
• Artificial Intelligence

الخبرات

1993 - 1995 - • Senior Researcher - INRIA - France. French National Institute of research in Computer Science and Control in Nancy France
2004 - حتى الآن - • Tenured full Professor in Computer Science - University Tunis El Manar (ex Univ. Tunis II), Department of Computer Science
1999 - 2004 - Associate Professor - University Tunis El Manar (ex Univ. Tunis II), Department of Computer Science

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

PUBLICATIONS
DISSERTATIONS
LDT : Un langage de définition des transformations de programmes logiques. Dissertation
of Diplome d’Etudes Approfondies (DEA), Informatique, Faculté des Sciences de Nancy, France. Defended September 1990.
Construction de programmes logiques par synthèse de propriétés. Dissertation of Doctorat De l’Université de Nancy 1. Defended November 1993.
Preuve de formule implicatives. Dissertation of Habilitation universitaire à diriger de la recherche de la Faculté des Sciences de Tunis, Université de Tunis El Manar. Defended June 1999.
JOURNALS
[1] Multi-temporal image change mining based on evidential conflict reasoning
F Haouas, B Solaiman, ZB Dhiaf, A Hamouda, K Bsaies
ISPRS Journal of Photogrammetry and Remote Sensing 151, 59-75 (2019)
[2] Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili: Verifying while loops with invariant relations. IJCCBS 5(1/2): 78-102 (2014)
[3] Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili: Invariant functions and invariant relations: An alternative to invariant assertions. International Journal of Symbolic Computation 48: 1-36 (2013)
[4] Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili: A versatile concept for the analysis of loops. International Algebraic Programming 81(5): 606-622 (2012)
[5] Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili: Reasoning About Quantitative Architectural Attributes (Invited Paper). JSW 6(4): 574-583 (2011)
[6] M. Demba and Khaled Bsaïes. Appropriate Lemmas Discovery. Journal of Information Science, 163(4):221-237. Elsevier Science, 2004.
[7] Francis Alexandre, Khaled Bsaïes et Moussa Demba: Correction de conjectures fausses par synthese de programmes. Technique et Science Informatiques (TSI). 22(1): 307-310 (2003)
[8] F. Alexandre and Khaled Bsaïes. A Methodology for Developing Logic Programs. Int. Journal Fundamenta Informatica, 29(3):203-224, 1997.
[9] Khaled Bsaïes, F. Alexandre and A. Quéré. Transformation of Generate and Test Logic Programs. International Journal of Methods of Logics in Computer Science, 1(3):335-357, 1994.
CONFERENCES
2020
[10] Wissal BEN MARZOUKA, Basel SOLAIMAN, Atef HAMMOUDA,
Zouhour BEN DHIEF, Khaled BSAIES
Possibilistic Image registration approach based on semantic knowledge (PIRASK).
The 15th International Joint Symposium on Artificial Intelligence and Natural
Language Processing (iSAI-NLP 2020) and The International Conference on
Artificial Intelligence and Internet of Things (AIoT 2020)
[11] Wissal BEN MARZOUKA, Basel SOLAIMAN, Atef HAMMOUDA,
Zouhour BEN DHIEF, Khaled BSAIES
Possibilistic BRISK method for an efficient registration (PBRISK)
2020 5th International Conference on Advanced Technologies for Signal
and Image Processing (ATSIP) 2020
2019
[12] WB Marzouka, B Solaiman, A Hamouda, ZB Dhiaf, K Bsaies
Comparative study of feature detector and descriptor methods for registration
WB Marzouka, B Solaiman, A Hamouda, ZB Dhiaf, K Bsaies
Twelfth International Conference on Machine Vision (ICMV 2019) 11433, 114333H 2020
[13] WB Marzouka, B Solaiman, A Hamouda, ZB Dhiaf, K Bsaies
Possibilistic registration based on unsupervised classification (BMPRUC)
Twelfth International Conference on Machine Vision (ICMV 2019) 11433, 114333E
2018
[14] Wissal Ben Marzouka, Basel Solaiman, Khaled Bsaïes, Zouhour Ben Dhief, Atef Hammouda:
New method of registration based on the theory of possibility. 4th International Conference on Advanced Technologies for Signal and Image Processing, ATSIP 2018, Sousse, Tunisia, March 21-24, 2018. IEEE 2018, ISBN 978-1-5386-5239-8 ATSIP 2018: 1-6
[15] Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes:
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. SciTePress 2018, ISBN 978-989-758-300-1 ENASE 2018: 275-282
2017
[16] Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes: A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments ENASE 2017
2016
[17] Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes: Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA 2016.
2015
[18] Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes: Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA 2015 : 339-347
2014
[19] Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes: Rocchio Algorithm to Enhance Semantically Collaborative Filtering. WEBIST (Revised Selected Papers) 2014: 295-311
[20] Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes: User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering. WEBIST (2) 2014: 205-212
2012
[20] Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes: User Semantic Preferences for Collaborative Recommendations. EC-Web 2012: 203-211.
2011
[22] Asma Louhichi, Olfa Mraihi, Wided Ghardallou, Lamia Labed Jilani, Khaled Bsaïes,
Ali Mili: Invariant relations: An automated tool to analyze loops . In Verification and
Evaluation of Computer and Communication Systems: VECoS 2011, Tunis, Tunisia,
September 2011.
[23] Asma Louhichi, Khaled Bsaïes, Olfa Mraihi, Lamia Labed Jilani, Nafi Diallo, Ali Mili: Design, Implementation and Deployment of a Tool for the Functional Analysis of
Loops. AICCSA 2011
[24] Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili: Computing Preconditions and Postconditions of While Loops. ICTAC 2011: 173-193
2009
[25] Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaies and Ali Mili. Relational Methods in the analysis of while loops: observations of versatility. In 11th International Conference on Relational Methods in Computer Science (RelMiCS 11) November 1 to 5, 2009 Doha, Qatar. Proceedings in the series. Lecture Notes in Computer Science - LNCS . The proceedings' editors are R.Berghammer, A. Jaoua, and B. Moller.
2008
[26] R. Zarrad, M. Demba and Khaled Bsaïes. Prouvabilite' et correction des formules Implicatives. JFPC 2008- Quatriemes Journes Francophones de Programmation par Contraintes, Nantes : France 1 - 7 Jul 2008. Rapport Interne Inria-00293706.
2004
[27] M. Demba, Khaled Bsaïes and F. Alexandre. Proving Theorems by Folding Unfolding. Proc. of Sciences Electroniques Technologies de l'Information et des Télécommunications, SETIT'2004. IEEE. Tunisia, 2004.
2003
[28] F. Alexandre, Khaled Bsaïes and M. Demba. Predicate synthesis from inductive proof attempt of faulty conjectures. Proc. of Logic Program Synthesis and Transformation LOPSTR'2003. LNCS Springer Verlag. 2003.
[29] M. Demba, F. Alexandre and Khaled Bsaïes. Correction de conjectures fausses par synthèse de programmes. Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2003. 307-310. Lavoisier, Hermes Science Publications. 2003.
[30] M. Demba, F. Alexandre and Khaled Bsaïes. Correcting Faulty Conjectures by Logic Program Synthesis. Proc. ACS/IEEE Int. Conf. on Computer Systems and Applications. Tunis. July 2003.
2002
[31] M. Demba et Khaled Bsaïes. Découverte de lemmes par instanciation de méta variables dans les preuves par récurrences. Journée Francophone de Programmation Logique et Contraintes. JFPLC'2002. 227{240. Hermes Science Publications. Nice, Mai 2002.
[32] M. Demba and Khaled Bsaïes. Appropriate Lemma Discovery. Proc. of the 2002 Int. Arab Conf. on Information Technology (ACIT'2002). Qatar 2002.
[33] R. Salem and Khaled Bsaïes. Unfold/Fold Inductive Proofs: An Extension of a Folding Technique. Proc. of the 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. In Lecture Notes in Artificial Intelligence, LNAI No 1611, page 612-621. Springer Verlag. Cairo Egypt, June 1999.
1998
[34] Khaled Bsaïes, F. Hammami, A. Jaoua and W. Ksontini. May reasoning be reduced to an information retrieval problem? Proc. of 4th Int. Workshop on Relational Methods in Computer Science. 15-18 septembre 1998. Varsovie, Pologne.
[35] A. Jaoua, Khaled Bsaïes, W. Ksontini, W. Khayat and S. Chaar. Design and experimentation of a reasoning approach based on information generation retrieval. Proceedings of Joint Conference on Information Systems. Octobre 23-28 1998. USA.
1997
[36] R. Salem and Khaled Bsaïes. A Strategy for Mechanizing Inductive proofs by Unfolding, Folding and Simplifcation. in the Proc. of Int. Workshop on Relational Methods in Computer Science. Hammamet, January 1997.
[37] F. Alexandre and Khaled Bsaïes. Une technique de construction de programmes logiques basée sur un démonstrateur. Proc. Conf. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADEL97). Toulouse mai 1997.
[38] F. Alexandre and Khaled Bsaïes. Derivation of Logic Programs by Generating Eureka Properties. 7th International Workshop on Logic Program Synthesis and Transformations (LoPSTr97). Louvain, Juillet 1997.
1996
[39] A. Bouhoula and Khaled Bsaïes. A New Framework for Mechanizing Logic Program Diagnosis. Accepted for presentation in International Workshop on Logic Program Synthesis and Transformation. Stokholm, August 1996.
[40] Khaled Bsaïes. Discovering and Verifying Logic Program Properties. In Deaton, Ed. and George, K.M. Berghel, H and Hedrick,G. editors, Proc. of the 1995 ACM/SIGAPP Symposium on Applied Computing (SAC95). ACM-Press. Nashville, USA, 1995.
[41] Khaled Bsaïes. Implementing the Synthesis of Properties in Unfold/Fold Transformations. In Manuel Hermenegildo editor, Proc. International Conference on Programming Language Implementation and Logic Programming (PLILP'94). In Lecture Notes in Computer Science LNCS, Springer Verlag. September 14-16, 1994, in Madrid (Spain).
[42] F. Alexandre and Khaled Bsaïes. A Methodology for Constructing Logic Programs. Proceeding of the ICLP'94 Post-conference workshop on Application of Logic Programming to Software Engineering, pages 120-138, 1994. S. Margherita Ligure, Italie.
[43] Khaled Bsaïes. A Schema Guided Eureka Step Discovery for Transforming Logic Programs. Proceeding of the 10th Logic Programming Workshop, LPW'94. N.E.Fichs, and G.Gottlob editors. Zurich 1994.
[44] Khaled Bsaïes. Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties. In D.Miller, editor, Proc. Int. Logic Programming Symposium (ILPS), Vancouver, 1993. MIT-Press.
[45] KhaledBsaïes and F. Alexandre. The Unfolding Problem in Logic Program Transformation: Decidability Results. In Proc. of the 1993 ACM/SIGAPP Symposium on Applied Computing (SAC93). ACM-Press, February 1993, Indianapolis, Indiana USA.
[46] Khaled Bsaïes. A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. In Proc. of ACM SIGPLAN Workshop on Partial Evaluation and semantic-Based Program Manipulation, PEPM 92, pages 108-115, June 1992, San Fransisco, California.
[47] Khaled Bsaïes. Static Analysis for the Synthesis of Eureka Properties for Transforming Lo2gic Programs. In K. Broda, editor, 4th UK Annual Conference on Logic programming, ALPUK92, pages 41-61. Workshops in Computing Series, Springer-Verlag, March-April 1992, London, UK.
[48] Khaled Bsaïes. On Using Eureka Properties for Transforming Generate and Test Logic Programs. In P. Dewilde and J. Vandewalle, editors, Proc. of The IEEE International Conference on Computer and Software Engineering COMP EURO 92, pages 113-114. IEEE Press, May 1992. Netherlands.
[49] Khaled Bsaïes. A Strategy for Transforming Generate and Test Logic Programs. In H. Berghel, Ed. Deaton, G. Hedrick, D. Roach, and R. Wainwright, editors, Proc. of the 1992 ACM/SIGAPP Symposium on Applied Computing, pages 563-572. ACM PRESS, March 1992, Kansas City, Missouri.
[50] Khaled Bsaïes and F. Alexandre. Une Utilisation des Modes entrée-sortie pour Transformer des Programmes Logiques. In the Proc. of the Second Maghrebien Conference on Software Engineering and Artificial Intelligence, pages 382-397, 1992, Tunis.
[51] Khaled Bsaïes and F. Alexandre. Where Eureka Properties Needed in Logic Program Transformation. In E. Gelenbe, E. Halici, and N. Yalabik, editors, Proceedings of the Seventh International Symposium on computer and Information Sciences (ISCIS VII), pages 245-251, 1992. Antalya, Turkey.
[52] F. Alexandre, Khaled Bsaïes, J.P. Finance and A. Quere. Spes: A System for Logic Program Transformation. In A. Voronkov, editor, Proc. of the International Conference on Logic Programming and Automated Reasoning (LPAR'92), volume 624 of Lecture Notes in Artificial Intelligence LNAI, pages 445-447. Springer-Verlag, July 1992. St. Petersburg, Russia.
[53] Khaled Bsaïes and F. Alexandre. On Using Formal Tools for Developing Logic Programs. In P. Kellomaki K.Systa and R. Makinen, editors, Proc. of the Fifth Nordic Workshop on Programming Environment Research. Tampere University of Technology, Software Systems Laboratory, 1992. Tampere, Finland.
[54] F. Alexandre, Khaled Bsaïes and A. Quéré. On Using Mode Input-output for Transforming Logic Programs. In K-K. Lau and T. Clement, editors, Proceedings of the 1st International Workshop on Logic Program Synthesis and Transformation (LoPSTr 91), pages 129-147. Workshops in Computing Series, Springer-Verlag, 1991. Manchester, UK.
TECHNICAL REPORTS INRIA (National Institute of research in Computer Science and Automata France) and CRIN (Informatics Research Center of Nancy France)
[55] M. Demba, Khaled Bsaïes and F. Alexandre. Correcting Faulty Conjectures by Logic Program Synthesis. RI A03-R-219. 2003.
[56] M. Demba, F. Alexandre and Khaled Bsaïes. Correction de conjectures fausses par synthèse de programmes. RI A03-R-219. 2003.
[57] M. Demba, F. Alexandre and Khaled Bsaïes. Correction de conjectures fausses par synthèse de programmes. RI A03-R-218. 2003.
[58] F. Alexandre, Khaled Bsaïes and M. Demba. Predicate synthesis from inductive proof attempt of faulty conjectures. RI A03-R-217. 2003.
[59] M. Demba, F. Alexandre and Khaled Bsaïes. Correction de conjectures fausses. RI A02-R-492. 2002.
[60] F. Alexandre, M. Bemba and Khaled Bsaïes. Stratégies de preuves par récurrence basées sur le pliage et le d_epliage. RI A01-R-284. 2001.
[61] F. Alexandre and Khaled Bsaïes. Pliage et récurrence pour la construction de programmes. RI A00-R-382. 2000.
[62] F. Alexandre and Khaled Bsaïes. Stratégies de dérivation de programmes logiques. RI 99-R-253. 1999.
[63] F. Alexandre and Khaled Bsaïes. Derivation of Logic Programs by Generating Eureka Properties. RI 97-R-207. 1997.
[64] F. Alexandre and Khaled Bsaïes. Une technique de construction de programmes logiques basée sur un démonstrateur. RI 97-R-069. 1997.
[65] F. Alexandre and Khaled Bsaïes. A Methodology for Constructing Logic Programs. RI 97-R-064. 1997.
[66] Khaled Bsaïes and F. Alexandre. Modes entrée-sortie pour l'analyse statique des programmes logiques. Rapport interne 91-R-186. CRIN, décembre 1991.
[67] Khaled Bsaïes. Automated Derivation of Efficient Logic Programs by Synthesising and Proving Eureka Properties. extended version of the paper presented in ILPS93 also Rapport interne no93-R-072, CRIN Centre de recherche en informatique de Nancy, décembre 1993.
PARTICIPATIONS TO RECRUITEMENT COMMITTEES
• Member of the National Commission of recruitment of Associate Professor in Computer Sciences 2012-2013.
• President of the National Commission of recruitment of Associate Professor in Computer Sciences 2010-2011.
• Member the National Commission of recruitment of Associate Professor in Networks 2011.
• President of the National Commission of recruitment of Assistant Professor in Computer Sciences 2008-2009.
• Member of the National Commission of recruitment of Assistant in Computer Science 2002-2003.
• Member of the National Commission of recruitment of Assistant in Computer Science 2005-2006.
• Member of the National Commission of recruitment of Full Professor in Computer Sciences 2007-2009.

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

أ.د.خالد محمد الصادق بسيس

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

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

الخبرات

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

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

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

Social

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

أ.د.خالد محمد الصادق بسيس

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

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

الخبرات

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

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