Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Loïc Hélouët a rédigé la thèse suivante :
Analyse des exigences des systèmes répartis exprimées par des langages de scénarios
par Loïc Hélouët sous la direction de Claude Jard - Rennes 1
Informatique
Soutenue en 2000
Loïc Hélouët a dirigé la thèse suivante :
Performance evaluation of urban rail traffic management techniques
par Abd-El-Karim Kecir sous la direction de Loïc Hélouët et de Pierre Dersin . - Rennes 1
Informatique
Soutenue le 05-07-2019
Loïc Hélouët a été membre de jury des 2 thèses suivantes :
Applying Formal Methods to Autonomous Vehicle Control
par Yann Duplouy sous la direction de Serge Haddad - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 26-11-2018
Implementability of distributed systems described with scenarios
par Rouwaida Abdallah sous la direction de Claude Jard - Cachan, Ecole normale supérieure
Informatique
Soutenue le 16-07-2013
