Abstraction  Abstraction quasi-Synchrone  Algorithmes polynomiaux  Analyse binaire  Analyse de flot de données  Analyse informatique  Analyse statique  Architecture LTTA  Arithmétique en virgule flottante  Arithmétique flottante  Auto-référence  Automates communicants  Certification  Circuits numériques synchrones  Compilation  Compilation  Comportement  Conception de langage  Délai de bout-en-bout  Erreur d'arrondi  Erreurs d'arrondi  Fiabilité  Flot de donnees  Futures  Interpretation abstrait  Interprétation abstraite  Kahn  Langage flots de données  Langage impératif  Langage synchrone  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages de programmation fonctionnels  Langages de programmation synchrones  Langages formels  Langages synchrones  Logiciels -- Vérification  Méthodes formelles  Ordinateurs -- Mémoires tampons  Parallélisme  Parallélisme  Politique de sécurité  Preuve de programmes  Programmation en temps réel  Programmation fonctionnelle  Programmation réactive  Programmation système  Programmes logico-numériques  Programmes malveillants  Programmmation réactive synchrone  Précision numérique  Raffinement  Recherche de vulnérabilités  Réduction paramétrée de modèles  Simulation symbolique  Slicing  Spécifications  Stabilité  Synchrone  Système décimal codé binaire  Systèmes de types  Systèmes distribués temps-Réels synchrones  Systèmes embarques  Systèmes embarqués  Systèmes enfouis  Systèmes hybrides  Systèmes informatiques -- Mesures de sûreté  Systèmes répartis  Systèmes synchrones  Sémantique  Sémantique formelle  Séquentiel  Thèses et écrits académiques  Traduction par validation  Transformation automatique de programmes  Typage  Vérification  

Marc Pouzet a dirigé les 9 thèses suivantes :

Informatique
Soutenue le 07-02-2013
Thèse soutenue


Marc Pouzet a été président de jury de la thèse suivante :


Marc Pouzet a été rapporteur des 3 thèses suivantes :


Marc Pouzet a été membre de jury de la thèse suivante :