Yliès Falcone
Yliès Falcone a rédigé la thèse suivante :
Etude et mise en oeuvre de techniques de validation à l'exécution
par Yliès Carlo Falcone sous la direction de Jean-Claude Fernandez , Laurent Mounier et de Jean-Luc Richier . - Grenoble 1
Informatique
Soutenue en 2009
Yliès Falcone dirige actuellement la thèse suivante :
Instrumentation Expressive et Correcte de Programmes Distribues et Verification a L'execution
par Chukri Soueidi sous la direction de Gwen Salaun et de Yliès Falcone . - Université Grenoble Alpes
Informatique
En préparation depuis le 01-10-2020
Yliès Falcone a dirigé les 3 thèses suivantes :
Vérification interactive de propriétés à l'exécution
par Raphaël Jakse sous la direction de Jean-François Méhaut et de Yliès Carlo Falcone . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 18-12-2019
Vérification à l'exécution de spécifications décentralisées hiérarchiques
par Antoine El hokayem sous la direction de Yliès Carlo Falcone - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 18-12-2018
Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits
par Azzeddine Amiar sous la direction de Lydie du Bousquet et de Yliès Carlo Falcone . - Grenoble
Informatique
Soutenue le 27-11-2013
Yliès Falcone a été membre de jury des 2 thèses suivantes :
Runtime Enforcement of (Timed) Properties with Uncontrollable Events
par Matthieu Renard sous la direction de Mohamed Mosbah et de Antoine Rollet . - Bordeaux
Informatique
Soutenue le 11-12-2017
Surveillance de systèmes à composants multi-threads et distribués
par Hosein Nazarpour sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 26-06-2017
