Already Defended PhD Thesis

1. Candidate : Amira Regayeg
   Titre : "Une Approche formelle de développement des systèmes multiagents : De la spécification à la conception"
   Institution : Faculté des sciences économiques et de gestion de Sfax
   Soutenue le 24 janvier 2009
2. Candidate : Imen Loulou
   Titre : "P/S-COM : une méthode formelle d'aide à la conception correcte des architectures logicielles Publier/Souscrire"
   Institution : Faculté des sciences économiques et de gestion de Sfax
   Soutenue le 5 juin 2010
3. Candidate : Monia Aloulou
   Titre : " Approche formelle pour la spécification, la vérification et l’imposition des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles"
   Institution : Faculté des sciences économiques et de gestion de Sfax
   Soutenue le 13 novembre 2010
4. Candidate : Kaouthar Fakhfakh
   Titre : "Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service "
   Institution : Ecole nationale d’ingénieurs de Sfax
   Soutenue le 21 mai 2011
5. Candidat : Sofien Khemakhem
   Titre : "Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués"
   Institution : Faculté des sciences économiques et de gestion de Sfax
   Soutenue le 8 juin 2011
6. Candidat : Slim Kallel
   Titre : "Specifying and Monitoring of non-functional Properties"
   Institution : Université de Technologie de Darmstadt, Allemagne
   Co-Directeur : Mira Mezini, Professeur à l’université de Technologie de Darmstadt
   Soutenue le 11 juillet 2011
7. Candidate : Soumaya Marzouk
   Titre : "Une approche basée politique pour la migration d’instances de services web composés"
   Institution : Ecole nationale d’ingénieurs de Sfax
   Soutenue le 12 août 2013
8. Candidat : Mohamed Nadhmi Miledi
   Titre : "Une approche par transformation de modèles pour le déploiement et la gestion des architectures logicielles distribuées"
   Institution : Ecole nationale d’ingénieurs de Sfax
   Soutenue le 19 mars 2014
9. Candidate : Saoussen Cheikhrouhou
   Titre : "Une approche d’adaptation sémantique pour des environnements multiplateformes"
   Institution : Ecole nationale d’ingénieurs de Sfax
   Soutenue le 11 avril 2015
10. Candidat : Nabil Baklouti
    Titre : "Une Approche sémantique pour la description, la découverte et la composition des services Web linguistiques"
    Institution : Faculté des sciences économiques et de gestion de Sfax
    Soutenue le 04 avril 2016
11. Candidate : Afef Jmal
    Titre : "Test à base de modèles des compositions de services Web sous des conditions de charge variées"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 26 novembre 2016
12. Candidate : Nesrine Khabou
    Titre : "Une approche de monitoring et d’analyse pour l’adaptation des architectures logicielles collaboratives dans un environnement ubiquitaires"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 23 février 2017
13. Candidate : Amal Gassara
    Titre : "Déploiement des architectures multi-échelles pour les systèmes autonomes"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 30 mars 2017
14. Candidate : Wafa Gabsi
    Titre : "Tolérance aux pannes pour les systèmes temps réel distribués dynamiquement reconfigurables"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 04 avril 2017
15. Candidate : Monia Ben Brahim
    Titre : "Approche basée sur le standard WSSecurityPolicy pour la modélisation et l’alignement sémantiques des politiques de sécurité des services Web"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 26 avril 2017
16. Candidate : Sihem Loukil
    Titre : "Une approche basée sur les modèles d’exécution pour la gestion des systèmes distribués dynamiquement reconfigurables."
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 26 avril 2017
17. Candidate : Mariam Lahami
    Titre : "Runtime Testing of Dynamically Adaptable and Distributed Component-based Systems"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 29 avril 2017
18. Candidat : Ahmed Jmal
    Titre : "Intergiciels dynamiquement adaptables pour le monitoring et l'analyse des applications à base de réseaux de capteurs"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 26 mai 2017
19. Candidate : Maissa Ben Jemaa
    Titre : "Practical Received Signal Strength Localization in Wireless Sensor Networks"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 07 juillet 2017
20. Candidat : Mahdi Ben Abderrahmen
    Titre : "Définition d'un langage de requêtes pour les bases lexicales normalisées "
    Institution : Faculté des sciences économiques et de gestion de Sfax
    Soutenue le 28 décembre 2017
21. Candidate : Rahma Bouaziz
    Titre : "Processus raffiné de conception, réalisation et optimisation des systèmes temps réel répartis embarqués "
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 30 juillet 2018
22. Candidate : Salma Bradai
    Titre : "Real-time and energy-aware opportunistic Mobile CrowdSensing framework based on people's connectivity habits"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 08 octobre 2018
23. Candidate : Hana Mkaouar
    Titre : "A Formal Approach for Real-time Systems Engineering"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue le 9 février 2019
24. Candidate : Lamia Ben Amor
    Titre : "Data Accuracy Aware Mobile Healthcare Systems"
    Institution : Ecole nationale d’ingénieurs de Sfax
    Soutenue 9 février 2019
25. Candidate : Imen Abdennadher
    Titre : "Design, implementation and validation of a Decision Approach for Autonomic Computing Systems"
    Institution : Faculté des Sciences Economiques et de Gestion de Sfax
    Soutenue le 16 mai 2019

    Thèses en cotutelle

26. Candidat : Mohamed Hadj Kacem
    Titre : " Modélisation des applications distribuées à architecture dynamique : Conception et Validation"
    Institutions : Faculté des sciences économiques et de gestion de Sfax, & Université Paul Sabatier à Toulouse, France
    Co-Directeur : Khalil Drira, directeur de recherche au LAAS, Toulouse Soutenue le 13 novembre 2008 au LAAS, Toulouse
    
27. Candidat : Riadh Ben Halima
    Titre : "Conception, implantation et expérimentation d’une architecture en bus pour l’autoréparation des applications distribuées à base de services Web"
    Institutions : Faculté des sciences économiques et de gestion de Sfax, & Université Paul Sabatier à Toulouse, France
    Co-Directeur : Khalil Drira, directeur de recherche au LAAS, Toulouse
    Soutenue le 17 juin 2009 au LAAS, Toulouse
28. Candidat : Ismail Bouassida
    Titre : "Gestion dynamique des architectures logicielles pour les systèmes communicants collaboratifs "
    Institutions : Faculté des sciences économiques et de gestion de Sfax, & Université Paul Sabatier de Toulouse, France
    Co-Directeur : Khalil Drira, directeur de recherche au LAAS, Toulouse
    Soutenue le 19 février 2011 à l’ENIS
29. Candidate : Fatma Krichen Titre : "Architectures logicielles à composants reconfigurables pour les systèmes TR²E"
    Institutions : Ecole nationale d’ingénieurs de Sfax & Université of Toulouse 2 – Le Mirail, France
    Co-Directeur : Bernard Colette, Professeur à l’université de Toulouse 2 – Le Mirail
    Soutenue le 16 septembre 2013 à l’université de Toulouse 2 – Le Mirail
30. Candidate : Afef Mdhaffar
    Titre : "Définition et mise en place d’une solution d’auto-réparation pour le Cloud computing"
    Institutions : Ecole nationale d’ingénieurs de Sfax & Université de Marbourg, Allemagne
    Co-Directeur : Bernd Freisleben, Professeur à l’université de Marbourg
    Soutenue le 19 décembre 2014
31. Candidate : Imen Lahyani
    Titre : "Gestion de la qualité de service des systèmes publier/souscrire sur MANET"
    Institutions : Ecole nationale d’ingénieurs de Sfax & l’INSA de Toulouse
    Co-Directeur : Christophe Chassot, professeur à l’INSA de Toulouse
    Soutenue le 17 décembre 2015 au LAAS – Toulouse
32. Candidate : Emna Feki
    Titre : "Sélection et composition flexible basée services abstraits pour une meilleure adaptation aux intentions des utilisateurs"
    Institutions : Ecole nationale d’ingénieurs de Sfax & Université Toulouse 1 Capitole
    Co-Directeur : Said Tazi, Maitre de conférences HDR à Université Toulouse 1 Capitole
    Soutenue le 17 décembre 2015 au LAAS - Toulouse
33. Candidate : Amina Chaabene
    Titre : "Livraison pair-à-pair de contenus multimédia composés dans les réseaux personnels"
    Institutions : Ecole nationale d’ingénieurs de Sfax & l'INSA de Toulouse
    Co-Directeur : Ernesto Exposito, Maître de conférences à l'INSA de Toulouse
    Soutenue le 04 juillet 2016
34. Candidate : Ikbel Guidara Titre : "Efficient Time and QoS-Aware Selection for Service Composition"
    Institutions : Ecole nationale d’ingénieurs de Sfax & Université Toulouse 1 Capitole
    Co-Directeur : Said Tazi, Maitre de conférences HDR à Université Toulouse 1 Capitole
    Soutenue le 04 juillet 2016
35. Candidate : Olfa Bouchaala
    Titre : Gestion sensible au métier pour les applications à base de services.
    Institutions : Ecole nationale d’ingénieurs de Sfax & TELECOM SudParis, Evry, France
    Co-Directeur : Samir Tata, Professeur à TELECOM SudParis
    Soutenue le 30 septembre 2016
36. Candidate : Nesrine Ouled Abdallah
    Titre : " Réseaux de capteurs : Modèles et algorithmes."
    Institutions : Ecole nationale d’ingénieurs de Sfax & l’université de Bordeaux I
    Co-Directeur : Mohamed Mosbah, professeur à l’université de Bordeaux I
    Soutenue le 22 mai 2017