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 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  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  Massivement parallèles  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  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  Techniques d’ordre-partiel  Temps réel  Terminaison  Théorie de la démonstration  Types abstraits de données  Verification  Vivacité  Vérification  Élimination des coupures  

Igor Walukiewicz dirige actuellement les 2 thèses suivantes :

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


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 :