Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Olivier Bouissou

est l'auteur d'une thèse
a été membre de jury pour 2 thèses

Analyse interprocédurale Analyse statique Confidentialité différentielle Interprétation abstraite Logiciels -- Vérification Polyèdres Polyèdres convexes Précision finie Résumés de procédures Systèmes dynamiques hybrides Systèmes embarqués Systèmes réactifs Sémantique dénotationnelle Temps réel Équations différentielles

Fullscreen

Analyse interprocédurale Analyse statique Confidentialité différentielle Interprétation abstraite Logiciels -- Vérification Polyèdres Polyèdres convexes Précision finie Résumés de procédures Systèmes dynamiques hybrides Systèmes embarqués Systèmes réactifs Sémantique dénotationnelle Temps réel Équations différentielles

Olivier Bouissou a rédigé la thèse suivante :

Analyse statique par interprétation abstraite de systèmes hybrides

par Olivier Bouissou sous la direction de Matthieu Martel - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2008

Thèse soutenue

Olivier Bouissou a été membre de jury des 2 thèses suivantes :

Analyse modulaire de propriétés numériques par interprétation abstraite

par Rémy Boutonnet sous la direction de Nicolas Halbwachs - Université Grenoble Alpes

Informatique

Soutenue le 09-03-2020

Thèse soutenue

Accéder en ligne

Safe Programming in Finite Precision: Controlling Errors and Information Leaks

par Ivan Gazeau sous la direction de Dale Miller et de Catuscia Palamidessi . - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2013

Thèse soutenue

Accéder en ligne