Publications - ReDCAD lab.

Search:

By Type:

PhD Thesis

2015
[17]	Zeineb Graja, Vérification formelle des systèmes multi-agents auto-adaptatifs, PhD thesis, Université de Toulouse et Université de Sfax (FSEGS), 2015. [bibtex]
2013
[16]	Soumaya Marzouk, A Policy-based Approach for Instance Migration of Composed Web Services, PhD thesis, Université de Sfax (ENIS), 2013. [bibtex]
[15]	Fatma Krichen, Architectures logicielles composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E), PhD thesis, Université de Toulouse et Université de Sfax (ENIS), 2013. [bibtex]
[14]	Hamdi Aloulou, Framework for ambient assistive living: handling dynamism and uncertainty in real time semantic services provisioning, PhD thesis, Evry, Institut national des télécommunications, 2013. [bibtex]
2011
[13]	Slim Kallel, Specifying and Monitoring Non-functional Properties, PhD thesis, Darmstadt University of Technology, 2011. [bibtex]
[12]	Ismail Bouassida Rodriguez, Dynamic Software Architecture Management for Collaborative Communicating Systems, PhD thesis, University of Sfax and University of Toulouse, 2011. [bibtex]
[11]	Kaouthar FAKHFAKH, Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service, PhD thesis, University of Toulouse and University of Sfax, 2011. [bibtex]
[10]	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, PhD thesis, Université Paul Sabatier, Toulouse-France and Université de Sfax-Tunisie, 2011. [bibtex]
2010
[9]	Monia Loulou, Approche Formelle pour la Spécification, la Vérification et le Déploiement des Politiques de Sécurité Dynamiques dans les Systèmes base d'Agents Mobiles, PhD thesis, Université de Sfax, 2010. [bibtex]
[8]	Imen Loulou, P/S-COM : a formal method to design correct Publish/Subscribe software architectures, PhD thesis, University of Sfax, 2010. [bibtex]
2009
[7]	Amira Regayeg, A formal Development Methodology of Multi-agent Applications, PhD thesis, University of Sfax, 2009. [bibtex]
[6]	Riadh BEN HALIMA, Conception, implantation et expérimentation d’une architecture en bus pour l’auto-réparation des applications distribuées base de services Web, PhD thesis, Université Paul Sabatier, Toulouse-France et Université de Sfax-Tunisie, 2009. [bibtex]
2008
[5]	Bechir Zalila, Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture, PhD thesis, École Nationale Supérieure des Télécommunications, 2008. [bibtex]
[4]	Mohamed Hadj Kacem, Modelling of distributed applications with dynamic architecture: design and validation, PhD thesis, University of Toulouse, 2008. [bibtex]
2007
[3]	Tarak Chaari, Adaptation d'applications pervasives dans des environnements multi-contextes, PhD thesis, Institut National des Sciences Appliquées de LYON, 2007. [bibtex]
2005
[2]	Hatem Hadj Kacem, Contribution la Contributions la théorie et aux applications des automates multiplicités, PhD thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2005. [bibtex]
1996
[1]	Mohamed Jmaiel, Development of Communication Protocols with Algebraic-Temporal Specifications, PhD thesis, Technical University of Berlin, 1996. [bibtex]

ReDCAD

National School of Engineering of Sfax
www.enis.rnu.tn

University of Sfax, Tunisia
www.uss.rnu.tn

Contact

Prof. Dr. Eng. Mohamed Jmaiel

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
Phone: +216 74 666 578

Address

National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia