Algorithmes optimaux  Analyse de logs distribués  Applications mobiles  Apprentissage automatique  Apprentissage machine  Automates hybrides  Automates mathématiques, Théorie des  Biologie des systèmes  Biologie systémique  Boucles inobservables  Caractérisation logique d'un ensemble d'exécutions  Chaînes de Markov  Concurrence -- Restrictions  Concurrence  Contraintes temporelles paramétrisées  Diagnostic  Diagnosticabilité  Dépliage  Dépliages  Dépliages avec contraintes  Détecteurs de mensonge  Estimation des fuites  Evaluation de la performance  Exécution symbolique  Fonctions booléennes  Horloges partagées  Implantation sur architecture distribuée  Information, Théorie de l'  Intelligence artificielle  Internet  Interprétation Abstraite  Logiciels -- Vérification  Logique  Logique Épistémique  Logique épistémique  Markov, Processus de  Mensonges  Mobilité  Modèles mathématiques  Modélisation des flux des passagers  Méthodes formelles  Observation partielle  Observations partielles  Ordres partiels  Parallélisme  Performances  Petri, Réseaux de  Planification -- Informatique  Planification  Predictabilité  Processus stochastiques  Programmation dynamique  Protection de la vie privée  Qualité de Service  Reprogrammation cellulaire  Réseaux  Réseaux booléens  Réseaux d'automates temporisés  Réseaux d'ordinateurs  Réseaux de Petri  Réseaux de Petri temporels  Réseaux de Pétri  Réécriture de terme  SAT  SED  Stabilité  Supervision  Systèmes concurrents et distribués  Systèmes de Contraintes  Systèmes de transitions temporisés  Systèmes informatiques -- Évaluation  Systèmes répartis temps réel  Systèmes temps-réel distribués  Systèmes à paramètres répartis  Systèmes échantillonnés  Sémantique dénotationnelle et opérationnelle  Sémantique opérationnelle  Temps réel  Test de conformité  Théorie de la Concurrence  Traitement réparti  Transport de voyageurs  Treillis, Théorie des  Télécommunication  Vie privée  Vérification  Vérification quantitative  Équivalence de comportement pour systèmes distribués  

Stefan Haar a dirigé les 7 thèses suivantes :


Stefan Haar a été président de jury des 4 thèses suivantes :


Stefan Haar a été membre de jury des 3 thèses suivantes :