Already Defended PhD Thesis

1. Mohamed-Amine Haddar, Codage d’algorithmes distribués d’agents mobiles à l’aide de calculs locaux ,defended on Decembre 2011.
2. Zeineb Graja, Verification formelle des systemes multi-agents auto-adaptatifs,defended on Septembre 2015.
3. Imen Tounsi, Adaptation Dynamique des Architectures Orientees Services Guideepar les Patrons,defended on Janvier 2015.
4. Anis Kalboussi, Une approche d'assistance de l'activite annotative de l'annotateur pardes services web (Domaine d'application : l'apprenant en Learning),defended on Avril 2016.
5. Wael Sellami, Composition et elasticite de services Cloud multi-locataires,defended on Decembre 2016.
6. Nizar Omheni, Directeur de these : Ahmed Hadj Kacem, FSEG-Sfax Toward annotation-based user personality recognition and personalization,defended on Avril 2017.
7. Akram Kamoun, Lignes de Produits Logiciels Dynamiques des Patrons pour les Architectures Orientees Services,defended on Juillet 2017.
8. Houda Khelif, A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems,defended on Novembre 2017.
9. Maha Boussabbeh, Preuves d'algorithmes distribues par composition et ranement,defended on Novembre 2017.