Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Etienne André
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 été membre de jury des 3 thèses suivantes :
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
