Abstraction  Abstractions  Accessibilité  Algorithme de dépliage  Algorithmes  Algorithmes d'approximation  Algorithmes à la volée  Algèbre  AltaRica  Arbres  Automate  Automate temporisés  Automates d'arbres  Automates de Büchi  Automates finis  Automates mathématiques, Théorie des  Automates temporisés  Axiomatisation de Kozen  Bornitude  CEGAR  Commande robuste  Commande, Théorie de la  Décidabilité  Event-Recording Logic  Event-Recording automata  Explosion de l'espace d'état  Exécution Zenon  FlexRay  Hiérarchie de Wadge  Hiérarchie de points fixes  Informatique -- Mathématiques  Jeux pondérés  Langages de programmation  Langages formels  Logiciels -- Vérification  Logique  Logique informatique  Logique mathématique  Logique temps-réel  Model checking  Modèles mathématiques  Mu-calcul  Méthodes formelles  Méthodes formelles  Omega-automates  Ordre partiel  Outil de visualisation  Parcours  Preuves circulaire et infinitaires  Produit synchronisé  Programmation par contraintes  Propriétés de sûreté  Préfixe fini  Préordre  Quasi-vivacité  Raffinement  Robustesse  Réduction d’ordre partiel  Satisfaisabilité  Structure d'événements  Structures de données  Synthèse  Synthèse de contrôleurs  Système infini  Systèmes informatiques  Systèmes temps-réel  Sémantique temporelle locale  Temps réel  Terminaison  Theorie de jeux  Théorie de la démonstration  Types abstraits de données  Verification  Vivacité  Vérification  Élimination des coupures  

Igor Walukiewicz dirige actuellement les 3 thèses suivantes :

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
Thèse en préparation

Réduction d’ordre partiel pour les systèmes temporisés

par Govind Rajanbabu sous la direction de Igor Walukiewicz , Balaguru Srivathsan et de Frédéric Herbreteau . - Bordeaux

Informatique
En préparation depuis le 16-10-2017
Thèse en préparation

Soutenance prévue le 16-06-2021

Igor Walukiewicz a dirigé les 7 thèses suivantes :

Informatique
Soutenue le 07-12-2009
Thèse soutenue


Igor Walukiewicz a été président de jury de la thèse suivante :

Informatique. Informatique fondamentale
Soutenue le 27-06-2017
Thèse soutenue

Igor Walukiewicz a été rapporteur des 2 thèses suivantes :


Igor Walukiewicz a été membre de jury de la thèse suivante :