Abstraction  Abstraction quasi-Synchrone  Accélerateur Materiel  Algorithmes polynomiaux  Analyse binaire  Analyse de flot de données  Analyse informatique  Analyse statique  Architecture LTTA  Arithmétique en virgule flottante  Arithmétique flottante  Assistants de preuves  Auto-référence  Automates communicants  Barrière  C11  Certification  Circuits numériques synchrones  Compilateur  Compilateurs  Compilation  Compilation  Compilation certifiée  Comportement  Conception de langage  Construction d'arbre  Délai de bout-en-bout  Erreur d'arrondi  Erreurs d'arrondi  Exécution symbolique  Fiabilité  Flot de donnees  Flots de données  Fusion d'états  Futures  Informatique  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  Modèle de Performance  Modèle mémoire  Méthode formelles  Méthodes formelles  Optimisation de Code  Optimisations  Ordinateurs -- Mémoires tampons  Parallélisme  Parallélisme  Pire temps d'exécution  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  QuickCheck  Raffinement  Recherche de vulnérabilités  Representation Intermediare  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 embarqués  Systèmes hybrides  Systèmes informatiques -- Mesures de sûreté  Systèmes répartis  Systèmes synchrones  Sémantique  Sémantique formelle  Séquentiel  Test  Thèses et écrits académiques  Traduction par validation  Transformation automatique de programmes  Typage  Validation de systèmes temps réels  Vérification  

Marc Pouzet a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1994
Thèse soutenue


Marc Pouzet dirige actuellement les 3 thèses suivantes :

Tests à la QuickCheck de systèmes hybrides

par Ismail Lahkim Bennani sous la direction de Marc Pouzet , Timothy Bourke et de Goran Frehse . - Paris Sciences et Lettres

Informatique
En préparation depuis le 01-09-2018
Thèse en préparation

Mathématiques
En préparation depuis le 01-09-2016
Thèse en préparation


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 des 3 thèses suivantes :


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


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