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  Assistants de Preuve  Assistants de preuve  Assistants de preuves  Auto-référence  Automates communicants  Barrière  C11  Certification  Circuits numériques synchrones  Compilateur  Compilateurs  Compilation  Compilation  Compilation certifiée  Compilation vérifié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  GPU  Informatique  Ingénierie Logicielle  Interpretation abstrait  Interprétation abstraite  Kahn  Langage flots de données  Langage impératif  Langage synchrone  Langages Synchrones  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages de programmation fonctionnels  Langages de programmation synchrones  Langages formels  Langages synchrones  Logiciels -- Vérification  Logique de programme  Modèle de performance  Modèle mémoire  Méthode formelles  Méthodes 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  Preuves de programmes  Programation par contraintes  Programmation en temps réel  Programmation fonctionnelle  Programmation réactive  Programmation synchrone  Programmation système  Programmes logico-numériques  Programmes malveillants  Programmmation réactive synchrone  Précision numérique  QuickCheck  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 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  Traduction par validation  Transformation automatique de programmes  Typage  Validation de systèmes temps réels  Vérification  Vérification Formelle  

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

Sciences appliquées
Soutenue en 1994
Thèse soutenue


Marc Pouzet dirige actuellement les 4 thèses suivantes :

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

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

Tests à la QuickCheck de systèmes hybrides

par Ismail Lahkim Bennani sous la direction de Marc Pouzet , Timothy Bourke et de Goran Frehse . - Université Paris sciences et lettres

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


Marc Pouzet a dirigé les 10 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 :