Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Ocan Sankur a rédigé la thèse suivante :
Robustness in timed automata : analysis, synthesis, implementation
par Ocan Sankur sous la direction de Nicolas Markey - Cachan, Ecole normale supérieure
Informatique
Soutenue le 24-05-2013
Ocan Sankur a dirigé les 2 thèses suivantes :
Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform
par Abdul Majith Noordheen sous la direction de Hervé Marchand , Ocan Sankur et de Dinh Thai Bui . - Rennes 1
Informatique
Soutenue le 07-06-2022
Efficient verification of real time systems
par Victor Roussanaly sous la direction de Nicolas Markey et de Ocan Sankur . - Rennes 1
Informatique
Soutenue le 30-11-2020
Ocan Sankur a été membre de jury de la thèse suivante :
Connected multi-agent path finding : how robots get away with texting and driving
par Arthur Queffelec sous la direction de François Schwarzentruber - Rennes 1
Informatique
Soutenue le 11-10-2021
