Liste des thèses du département Informatique

Première année

Optimisations des SGBD spatiales et temporelles	José MATOS MOREIRA
Etude d'un environnement d'exécution temps-réel distribué et tolérant aux pannes pour le modèle synchrone faible	Olivier HAINQUE

Deuxième année

Sécurité des algorithmes cryptographiques à clé secrète	Héléna HANDSCHUH
Algorithmique des systèmes cryptographiques	Pascal PAILLIER
Ordonnancement automatique d'applications multimédias réparties	Franck SINGHOFF
Application des concepts de distribution de haut niveau à des systèmes autonomes à fortes contraintes temps-réel	Samuel TARDIEU
Le traitement documentaire de l'information scientifique et technique dans l'environnement des réseaux électroniques	Marcia BOSSY
Grammaires à substitution d'arbres et analyse syntaxique par échantillonnage. Application à l'acquisition automatique de grammaires probabilistes	Jianguo HAN

Troisième année et plus

Automatisation d'un processus de production de logiciels certifiés conformes à une spécification logique	Akim DEMAILLE
Téléopération et Réalité virtuelle : Assistance cognitive à l'utilisateur par modélisation de ses intentions	Didier VERNA
Réalisation d'un système critique	Jean-Bernard AURIOL
Modèle connexionniste pour la prévision de trafic	Denis BONNET
Etude et réalisation d'un environnement de spécifications orienté vers la conception de programmes certifiés	Jean Philippe COTTIN
Sémantique distributionnelle : application à la consultation de vastes bases de données textuelles	Arnon RUNGSAWANG
Algorithmes de recherche des ordres médians des tournois	Frédéric WOIRGARD
Implémentation d'un anneau à très haut débit pour les machines multiprocesseur à mémoire partagée	Vincent HABCHI
Programmation par preuves : mise en oeuvre pour une logique s'inspirant de la logique linéaire	Jean LENEUTRE

Thèses se déroulant dans un laboratoire extérieur

Automatisation de la prévision	Guillaume LEORAT
Etude et optimisation des applications multimédia à base de bytecode	Ralf SCHAEFER
Modèle et contrôle d'admission pour transactions réparties sous contraintes "temps réel"	Fayçal BOUJEMAA
Apport des spécifications formelles dans les processus d'évaluation de la sécurité des systèmes informatique	Michel EPRON
Structure décisionnelle embarquée pour un Robot Mobile d'intervention sur site planétaire	Christophe PROUST
La problématique temps réel dans les systèmes multi-agents	Thierry SALVANT

Les thèses déjà soutenues et les thèses des autres départements

Page maintenue par Christine Potier , mise à jour le 19 juin 97