Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Etienne André a rédigé la thèse suivante :
An inverse method for the synthesis of timing parameters in concurrent systems
par Etienne André sous la direction de Emmanuelle Encrenaz et de Laurent Fribourg . - Cachan, Ecole normale supérieure
Informatique
Soutenue le 08-12-2010
Etienne André a dirigé la thèse suivante :
Efficient Parametric Verification of Parametric Timed Automata
par Hoang Gia Nguyen sous la direction de Laure Petrucci et de Etienne André . - Sorbonne Paris Cité
Informatique
Soutenue le 28-08-2018
Etienne André a été membre de jury des 4 thèses suivantes :
Extensions de l’algorithme d’atteignabilité arrière dans le cadre de la vérification de modèles modulo théories
par Mattias Roux sous la direction de Sylvain Conchon - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 19-12-2019
Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés
par Mohamed Benmoussa sous la direction de Christine Choppy - Sorbonne Paris Cité
Informatique
Soutenue le 06-12-2016
Synthesis of correct-by-design schedulers for hybrid systems
par Romain Soulat sous la direction de Laurent Fribourg - Cachan, Ecole normale supérieure
Informatique
Soutenue le 18-02-2014
Vérification parametrée de systèmes temporisés
par Aleksandra Jovanovic sous la direction de Didier Lime - Ecole centrale de Nantes
Informatique et applications
Soutenue en 2013
