Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Alexandre Duret-Lutz
Alexandre Duret-Lutz a rédigé la thèse suivante :
Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents
par Alexandre Duret-Lutz sous la direction de Fabrice Kordon - Paris 6
Informatique
Soutenue en 2007
Alexandre Duret-Lutz a dirigé la thèse suivante :
Transformations d’ω-automates pour la synthèse de systèmes réactifs
par Florian Renkin sous la direction de Alexandre Duret-Lutz et de Adrien Pommellet . - Sorbonne université
Informatique
Soutenue le 07-10-2022
Alexandre Duret-Lutz a été rapporteur des 2 thèses suivantes :
Reconnaissance de motifs dynamiques par automates temporisés à mémoire
par Clément Bertrand sous la direction de Hanna Klaudel - université Paris-Saclay
Informatique
Soutenue le 17-12-2020
Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation Symbolique
par Hiba Ouni sous la direction de Kais Klai et de Zouari Belhassen . - Paris 13
Informatique
Soutenue le 20-12-2019
