SIGNALER une erreur


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 :

A synchronous approach to quasi-periodic systems

par Guillaume Baudart sous la direction de Marc Pouzet - Paris Sciences et Lettres

Informatique
Soutenue le 13-03-2017
Thèse soutenue

Accéder en ligne

A synchronous functional language with integer clocks

par Adrien Guatto sous la direction de Albert Henri Cohen et de Marc Pouzet . - Paris Sciences et Lettres

Informatique
Soutenue le 07-01-2016
Thèse soutenue

Accéder en ligne

Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone

par Léonard Gérard sous la direction de Marc Pouzet - Paris 11

Informatique
Soutenue le 25-09-2013
Thèse soutenue

Accéder en ligne

Compilation certifiée de SCADE/LUSTRE

par Cédric Auger sous la direction de Marc Pouzet - Paris 11

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

Accéder en ligne

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

par Cédric Pasteur sous la direction de Marc Pouzet - Paris 6

Informatique
Soutenue en 2013
Thèse soutenue

Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée

par Florence Plateau sous la direction de Marc Pouzet - Paris 11

Informatique
Soutenue en 2010
Thèse soutenue

Répartition modulaire de programmes synchrones

par Gwenaël Delaval sous la direction de Marc Pouzet - Grenoble INPG

Informatique
Soutenue en 2008
Thèse soutenue

Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles

par Sébastien Labbé sous la direction de Marc Pouzet - Paris 6

Informatique
Soutenue en 2007
Thèse soutenue

Conception, sémantique et implantation de réactiveML : un langage à la ML pour la programmation réactive

par Louis Mandel sous la direction de Marc Pouzet - Paris 6

Informatique
Soutenue en 2006
Thèse soutenue


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

Logico-Numerical Verification Methods for Discrete and Hybrid Systems

par Peter Schrammel sous la direction de Alain Girault et de Bertrand Jeannet . - Grenoble

Informatique
Soutenue le 18-10-2012
Thèse soutenue

Accéder en ligne

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

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

par Nasrine Damouche sous la direction de Matthieu Martel et de Alexandre Chapoutot . - Perpignan

Informatique
Soutenue le 12-12-2016
Thèse soutenue

Accéder en ligne

Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems

par Gideon Smeding sous la direction de Joseph Sifakis et de Gregor Goessler . - Grenoble

Informatique
Soutenue le 19-12-2013
Thèse soutenue

Accéder en ligne

Analyse de codes auto-modifiants pour la sécurité logicielle

par Daniel Reynaud sous la direction de Jean-Yves Marion - Vandoeuvre-les-Nancy, INPL

Informatique
Soutenue le 15-10-2010
Thèse soutenue

Accéder en ligne

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

Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques

par Ilias Garnier sous la direction de Guy Vidal-Naquet et de Christophe Aussaguès . - Paris 11

Informatique
Soutenue le 10-02-2012
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales