Already Defended PhD Thesis
- Slim Kallel, Specifying and Monitoring Non-functional Properties , defended on July 11, 2011, at Darmstadt University of Technology. [pdf]
- Sofien Khemakhem, Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués, defended on July 8, 2011, at the Faculty of Economic Sciences and Management of Sfax. [pdf]
- Kaouthar Fakhfakh, "Intention-based Semantic Approach for modeling, negotiation, and monitoring of SLA", defended on May 21, 2011, at the National School of Engineers of Sfax. [pdf]
- Ismail Bouassida, "Dynamic Software Architecture Management for Collaborative Communicating Systems", defended on February 19, 2011, at the National School of Engineers of Sfax. [pdf]
- Monia Aloulou, "Formal Approach for Specifying, Verifying and Imposing Dynamic Security Policies in Mobile Agent Systems", defended on November 13, 2010, at the Faculty of Economic Sciences and Management of Sfax. [pdf]
- Imen Loulou, "P/S-COM : a formal method to design correct Publish/Subscribe software architectures", defended on June 5, 2010, at the Faculty of Economic Sciences and Management of Sfax. [pdf]
- Riadh Ben Halima, "Design, implementation and expirementation of a bus architecture for self-healing distributed applications based on Web services", defended on June 17, 2009, at LAAS - Toulouse. [pdf]
- Amira Regayeg, "A formal Development Methodology of Multi-agent Applications", Defended on January 24, 2009 at the Faculty of Economic Sciences and Management of Sfax. [pdf]
- Mohamed Hadj Kacem, "Modelling of distributed applications with dynamic architecture: design and validation", defended on November 13, 2008 at LAAS - Toulouse. [pdf]
