Igor Walukiewicz
Igor Walukiewicz dirige actuellement les 3 thèses suivantes :
Méthodes d'ordre partiel optimale en taille pour les systèmes temps-réel concurrents
par Sarah Larroze-jardiné sous la direction de Frédéric Herbreteau et de Igor Walukiewicz . - Bordeaux
Informatique
En préparation depuis le 04-10-2021
Synthèse de systèmes distribués : monitoring, contrôle et apprentissage
par Corto Mascle sous la direction de Anca Muscholl et de Igor Walukiewicz . - Bordeaux
Informatique
En préparation depuis le 06-09-2021
Algorithmes pour la synthèse de contrôleurs
par Antonio Casares-santos sous la direction de Igor Walukiewicz et de Nathanaël Fijalkow . - Bordeaux
Informatique
En préparation depuis le 09-10-2020
Igor Walukiewicz a dirigé les 8 thèses suivantes :
Partial order reduction for timed systems
par Govind Rajanbabu sous la direction de Igor Walukiewicz , Balaguru Srivathsan et de Frédéric Herbreteau . - Bordeaux
Informatique
Soutenue le 16-06-2021
Verification of timed automata : reachability, liveness and modelling
par Thanh tung Tran sous la direction de Igor Walukiewicz - Bordeaux
Informatique
Soutenue le 04-11-2016
Exploiting model structure in CEGAR verification method
par Farès Chucri sous la direction de Igor Walukiewicz , Alain Griffault et de Grégoire Sutre . - Bordeaux 1
Informatique
Soutenue le 27-11-2012
Abstractions pour les automates temporisés
par Balaguru Srivathsan sous la direction de Igor Walukiewicz et de Frédéric Herbreteau . - Bordeaux 1
Informatique
Soutenue le 06-06-2012
A study on the expressive power of some fragments of the modal µ-calculus
par Alessandro Facchini sous la direction de Igor Walukiewicz et de Jacques Duparc . - Bordeaux 1
Informatique
Soutenue le 03-12-2010
Synthesis for a weak real-time logic
par Omer Nguena-Timo sous la direction de Igor Walukiewicz - Bordeaux 1
Informatique
Soutenue le 07-12-2009
Unfolding based verification of concurrent infinite-state systems
par Thế Quang Trần (Tran) sous la direction de Igor Walukiewicz - Bordeaux 1
Informatique
Soutenue le 19-06-2009
Sur la décidabilité de certains problèmes de synthèse de contrôleurs
par Xavier Briand sous la direction de Igor Walukiewicz - Bordeaux 1
Informatique et mathématiques
Soutenue en 2006
Igor Walukiewicz a été président de jury de la thèse suivante :
On the infinitary proof theory of logics with fixed points
par Amina Doumane sous la direction de Pierre-Louis Curien , Alexis Saurin et de David Baelde . - Sorbonne Paris Cité
Informatique. Informatique fondamentale
Soutenue le 27-06-2017
Igor Walukiewicz a été rapporteur des 3 thèses suivantes :
Implicit automata in linear logic and categorical transducer theory
par Le Thanh Dung Nguyen sous la direction de Stefano Guerrini et de Thomas Seiller . - Paris 13
Informatique
Soutenue le 03-12-2021
Symbolic controller synthesis for timed systems : robustness and optimality
par Damien Busatto-Gaston sous la direction de Pierre-Alain Reynier et de Benjamin Monmege . - Aix-Marseille
Informatique
Soutenue le 03-12-2019
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité
par Camille Vacher sous la direction de Jean Goubault-Larrecq et de Florent Jacquemard . - Cachan, Ecole normale supérieure
Informatique
Soutenue le 07-12-2010
Igor Walukiewicz a été membre de jury de la thèse suivante :
Decidable characterizations for tree logics
par Thomas Place sous la direction de Luc Segoufin - Cachan, Ecole normale supérieure
Informatique
Soutenue le 10-12-2010
