Encadrement

Co-encadrement 

• Thèse en cours 

         2023-present — Riham Badra  : Vers un cadre pour la gestion fiable de Slicing à base de registres distribués

 2023-present - Malek Ltaief  : Vers une démarche de formalisation du problème de placement des services

       2021-present - Yasmine Gara Hellal : Formal Verification of Cloud IoT Software Architectures Composition

• Thèse soutenue 

2020-2024 - Sarah Hussein Toman :  Formal Modeling for verifying web services and IoT orchestrations (Directeur de thèse : MC. Mohamed Graiet (Maître de conférences à l'Institut Supérieur d'Informatique et de Mathématiques de Monastir))

2020-2024 -Zinah Hussein Toman : Towards Formal for verifying IoT Architectures (Directeur de thèse : MC. Mohamed Graiet (Maître de conférences à l'Institut Supérieur d'Informatique et de Mathématiques de Monastir))

2017- 2021 - Aida Lahouij : Vérification de la composition des services dans les environnements Cloud (Directeur de thèse : MC. Mohamed Graiet (Maître de conférences à l'Institut Supérieur d'Informatique et de Mathématiques de Monastir))

Encadrement de master

• Master en cours

en recherche d'un(e) candidat(e).

• Master soutenue 

2024- Arije Yahyaoui : Blockchain-Based approach to secure healthcare systems

2024- Khaoula Boukhchim : Une approche de vérification formelle de la scalabilité des applications IoT

2023 -Nabiha Chaabane : Une approche d’interopérabilité sémantique pour les IoT

2022- Maissa Secref : Securing the Internet of Things Systems using IAM and Blockchain

2021- Malek Ltaief : Modélisation et vérification d’un système IoT avec l’ADL Fractal

2021- Rihab Omri : Modeling Non-Functional Requirements of IoT Based Applications Using Event-B