Publications by Types
 
Publication by dates | Conference A*

Search:

By Type:

All | Books | Book Chapters | Refereed Articles | Conference Papers | PhD Thesis | Master Theisis | Other publications


Masters Thesis
2012
[24] Rahma Bouaziz, Extension et adaptation d'un langage d'aspect pour les systèmes temps réel, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2012. [bibtex] [pdf]
2011
[23] Sellami Wael, Une approche formelle pour la vérification des propriétés non fonctionnelles d'orchestration des services web, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2011. [bibtex] [pdf]
[22] Wafa MEKKI, Définition et validation d’une approche de monitoring et d’analyse proactive des systèmes Publier/Souscrire déployés sur les réseaux mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[21] Wafa Gabsi, Modélisation @Run.Time des Applications à Base de Composants, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[20] Meriam MAHJOUB, Etude et expérimentation du Cloud Computing pour le monitoring des applications orientées services, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[19] Mouna Ktari, Une technique de tolérance aux pannes franches dans les systèmes à base d'agents mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[18] Fatma Abdennadher, Traitement de la forte dynamicité dans un système publier/souscrire basé DHT, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[17] Amal Gassara, Vérification Formelle des Propriétés non Fonctionnelles des RTES Dynamiquement Reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[16] Alvine Boaye Belle, Conception et Développement d'un Support d'Exécution pour systèmes TR\up2E dynamiquement reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[15] Nesrine Khabou, Définition et validation d'une approche de monitoring et d'analyse des systèmes Publier/Souscrire déployés sur MANET, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
2010
[14] Hatem Awadi, Exploitation des liens pour la recherche d'images dans des documents XML, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] [pdf]
[13] Sihem Loukil, Extension d'un langage de description d'architecture pour la programmation orientée aspect, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] [pdf]
[12] Maissa Ben Jamaa, An Experimental Study for the Performance Evaluation and Optimization of Link Quality Estimators in Wireless Sensor Networks, Master's thesis, The Faculty of Economics and Management of Sfax, 2010. [bibtex] [pdf]
[11] Imen Tounsi, Une approche pour la modélisation et la vérification des politiques d'adaptation pour le style P/S, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2010. [bibtex] [pdf]
2009
[10] Afef Mdhaffar, Définition et Validation d'une Approche d'Analyse des Performances des Services Web Mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex] [pdf]
[9] Afef Jmal Maâlej, Évaluation de Politiques d'Auto-Adaptabilité basées sur la Mobilité des Services Web Orchestrés, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex] [pdf]
[8] Zeineb Graja, Méthode ForMAAD: vers une approche dirigée par les modèles pour la conception d'applications à base d'agents, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2009. [bibtex] [pdf]
2008
[7] Amina Chaabane, Conception d'un Service d'Évènement Distribué Basé Contenu Sécurisé, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] [pdf]
[6] Fatma Krichen, Modélisation et Raffinement du Déploiement Dynamique des Architectures Logicielles Distribuées, Master's thesis, Ecole Nationale d'Ingenieurs de Sfax, University de Sfax, Tunisie, 2008. [bibtex] [pdf]
[5] Imene Lahyani, Une approche pour l'assurance des qualités de services des systèmes publier/souscrire déployés sur un réseau mobile ad-hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] [pdf]
2007
[4] Lamia Yangui Bouaziz, Une démarche de validation de spécifications formelles des architectures logicielles , Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2007. [bibtex] [pdf]
2006
[3] Nouha Baccour, Conception d'une Nouvelle Strategie de Routage Dynamique pour les Reseaux Mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2006. [bibtex] [pdf]
2005
[2] Slim Kallel, Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex]
2002
[1] Hatem Hadj Kacem, Rationalité et composition d’automate à multiplicités, Master's thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2002. [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