Dr. Ing. Wafa Gabsi Masmoudi



Assistant Professor in Computer Science
Department of Computer Science
Faculty of Sciences of Economics and Management of Sfax (FSEGS)
University of Sfax, Tunisia

Member of the ReDCAD Laboratory
Research laboratory on Development and Control of Distributed Applications
University of Sfax, Tunisia

Member of the ARSII Association
Association de la Recherche Scientifique et de l'Innovation en Informatique
Text
Text
Text
Text
Text
Text
Text

About

Currently, I am an associate professor in computer science at the Faculty of Economics and Management of Sfax (FSEGS), University of Sfax, and a member of the ReDCAD research laboratory since Spetember 2010.
I did my engineering and graduate studies at ENIS. My Phd thesis titled "Fault Tolerance for Distributed Real-Time Systems: From modelling to Implementation", was defended on April, 4th 2017.
From September 2015 to September 2018, I was an assistant professor at the Faculty of Sciences of Gabes at Computer Science Department. Then, from September 2018 to September 2023, I was an associate professor at the same Faculty.
I am ACM, IEEE, Ada-Europe and ARSII Member.


Here is a link to
my full Curriculum Vitae
(in French)

Teaching

University of Sfax

Assistant Professor

2023 - Present

Faculty of Sciences of Economics and Management of Sfax
Department of the Computer Science
University of Sfax-Tunisia

  • Logical Systems and Computer Architecture
  • Business Process Management
  • Frontend Web Developement (React, Vit, Bootstrap)
  • Web Developement (JavaScript)

Doctoral Assistant

2012 - 2015

National School of Engineering of Sfax-Tunisia,
Department of the Computer Science and Applied Mathematics (DGIMA) University of Sfax-Tunisia

  • Analysis and Design of Information System II (Merise)
  • Dynamic Web Programming
  • Advanced Web Programming (JavaScript, Applet, PHP, Ajax, JSP/Servlet)
  • Operational Research
  • Developping platforms for distributed applications (J2EE)

University of Gabes

Assistant Professor

2018 - 2023

Faculty of Sciences of Gabes-Tunisia,
Department of the Computer Science University of Gabes-Tunisia

  • Web programming
  • Object Oriented Programming (Java I, Java II, J2ME)
  • Algorithms
  • Language Theory and Automata
  • Realtime Systems
  • Computability and decidability
  • Compilation and interpretation
  • Research Initiation

University Assistant

2015 - 2018

Faculty of Sciences of Gabes-Tunisia,
Department of the Computer Science University of Gabes-Tunisia

  • Graph Theory
  • C Programming Language
  • Operational Research
  • Compilation
  • Algorithms

Education

Preparation of the PhD thesis in Computer Science

September 2011 - April 2017

Superviser Prof. Dr. Mohamed Jmaiel

National School of Engineering of Sfax-Tunisia

Preparation of the Master thesis in Computer Science.

September 2009 - July 2011

National School of Engineering of Sfax-Tunisia

Preparation of the Computer Engineer Diploma

September 2006 - June 2009

National School of Engineering of Sfax-Tunisia

Obtention of the Baccalaureate in Mathematics

June 2004

Mahmoud Magdiche Secondary School

Research

  • Research Topics


    • My research interests include modelling, implementing, and assessing Real time Embedded Systems and Fault Tolerance concerns.

    • Phd thesis
      • My Phd thesis research focuses on fault tolerance for distributed real-time dynamically reconfigurable systems. Our work aims at integrating fault tolerant elements since the modeling step of a system in order to take advantage of features of analysis, proof and verification possible at this stage. My thesis work defines a development process for the design, implementation and code generation of fault tolerant reconfigurable real-time systems based on separation of concerns. First, we designed fault tolerant systems using AADL and its annex Error Model Annex. Second, we encrich the AADL model by replication concepts through our defined AADL property set. Then, we defined a code generation process for both functional preoccupations and cross-cutting ones like fault tolerance and we propose an extension of an existing middleware. To generate fault tolerance requirements, we extended an aspect oriented language and adapt it to comply with real-time requirements.

    • Master thesis
      • Modeling @Runtime of component based systems consists of modeling applications with a high level of abstraction and also letting the developer manage and monitor the application during its execution. Such monitoring triggers a dynamic adaptation that can be performed in two ways. First, any change in the execution level has to be reflected on the model. Second, any change of a component or a connection in the model has to be realized on the executing application. In this context, we combined the use of aspect-oriented programming and architecture description languages in order to manage component based systems and achieve a models@runtime process in both ways.


  • Supervision of Master Students


  • Souha Ben Hamouda
    • Reconnaissance de la langue des signes: vers un système de communication à double sens entre les personnes sourds et non-sourds, FSG, December 2021.
  • Marwa Chnib
    • Détection des anomalies dans les fichiers logs du HDFS, FSG, April 2023.
  • Amani Chouikhi
    • Définition et implémentation d'un algorithme de construction d'une trame TDMA pour l'ordonnancement au niveau du réseau SpaceWire, Co-supervised by Prof. Frank Singhoff and Dr. Stéphane Rubini, FSG, December 2024.


  • Co-supervision of PhD Students


    • Souha Ben Hamouda
    Un framework de conversion automatique du texte et de la parole vers le langage des signes
    supervised by Prof. Mohamed Jmaiel and Co-supervised by Dr. Bechir Zalila.


  • Reviewing Activities


    • SNAMS’2023 : 10th International Conference on Social Networks Analysis, Management and Security
    • JSS’2021 : Journal of Systems and Software
    • WETICE’2021 : 30th IEEE International Conference on Enabling Technologies : Infrastructure for Collaborative Enterprises.
    • AICCSA'2017: 14th ACS/IEEE International Conference on Computer Systems and Applications.
    • SERA'2015: 13th International Conference on Software Engineering Research, Management and Applications.
    • ICECCS'2015: 20th International Conference on Engineering of Complex Computer Systems.


  • Co-chairing of Scientific Events

    • RTSEMS@ICSOC'2024: 1st Edition of the Workshop on Adaptive Service-oriented and Cloud Applications

Publications [ DBLP ]

  • International Journal Papers

    • [2] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. Extension and adaptation of an aspect oriented programming language for real-time systems. In International Journal of Business and Systems Research, IJBSR 14 (2): 139-161 (2020).[ BibTeX  | DOI ]
    [1] Wafa Gabsi, Bechir Zalila and Jérôme Hugues. A development process for the design, implementation and code generation of fault tolerant reconfigurable real-time systems. In International Journal of Autonomous and Adaptive Communications Systems, IJAACS 9(3/4): 269-287 (2016).[ BibTeX  | DOI ]

  • International conference Paperss

    • [10] Marwa Chnib and Wafa Gabsi. Detection of anomalies in the HDFS dataset. In 21st IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA, May 23-25, 2023, Orlando, FL, USA, IEEE Computer Society.[ BibTeX  | DOI ]
    [9] Souha Ben Hamouda, Wafa Gabsi and Bechir Zalila. Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text. In 3rd Tunisian-Algerian Joint Conference on Applied Computing, TACC, November 8-10, 2023, Sousse, Tunisia, CEUR.[ BibTeX  | DOI ]
    [8] Souha Ben Hamouda and Wafa Gabsi. Arabic sign Language Recognition: Towards a Dual Way Communication System Between Deaf and Non-Deaf People. In 22ndIEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD, November 24-26, 2021, Taichung, Taiwan, IEEE Computer Society.[ BibTeX  | DOI ]
    [7] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. Development of a parser for the AADL error model annex. In 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS, May 24-26, 2017, Wuhan, China, IEEE Computer Society.[ BibTeX  | DOI ]
    [6] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. AspectAda: an Aspect Oriented Extension of Ada for Real-Time Systems. In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS, June 26-29, 2016, Okayama, Japan, IEEE Computer Society.[ BibTeX  | DOI ]
    [5] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. In 21st International Conference on Reliable Software Technologies, Ada-Europe, June 13-17, 2016, Pisa, Italy, Springer.[ BibTeX | DOI ]
    [4] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. EMA2AOP: From the AADL Error Model Annex to Aspect Language Towards Fault Tolerant Systems. In 14th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, June 8-10 2016, Towson University, Maryland, USA, IEEE Computer Society.[ BibTeX | DOI ]
    [3] Wafa Gabsi and Bechir Zalila. Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL. In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, June 1-3 2015, Takamatsu, Japan, IEEE Computer Society.[ BibTeX | DOI ]
    [2] Wafa Gabsi, Rahma Bouaziz, and Bechir Zalila. Towards an Aspect Oriented Language Compliant with Real Time Constraints. In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, 2013. IEEE Computer Society. [ BibTeX | DOI ]
    [1] Wafa Gabsi and Bechir Zalila. Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation. In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, 2013. IEEE Computer Society. [ BibTeX | DOI ]

  • Diploma

    • [1]

    Phd Thesis :     		Wafa Gabsi Tolérance aux pannes pour les systèmes temps-réel distribuées : de la modélisation à l'implantation. Phd thesis, National School of Engineering of Sfax, University of Sfax, Tunisia 2017. [ BibTeX | PDF ]

    [2] Master's Thesis : Wafa Gabsi. Modélisation @Run.Time des Systèmes à Base de Composants. Master's thesis, National School of Engineering of Sfax, University of Sfax, Tunisia 2011. [ BibTeX | PDF ]

Contact

Address

Route de Aeoport Km4, BP 1088, Sfax, Tunisia

Call Us


Tel: +216 74 279 710