Algorithmes optimaux  Applications mobiles  Automates hybrides  Automates mathématiques, Théorie des  Boucles inobservables  Caractérisation logique d'un ensemble d'exécutions  Chaînes de Markov  Concurrence -- Restrictions  Concurrence  Contraintes temporelles paramétrisées  Diagnostic  Dépliage  Dépliages  Dépliages avec contraintes  Détecteurs de mensonge  Evaluation de la performance  Horloges partagées  Implantation sur architecture distribuée  Internet  Logiciels -- Vérification  Logique Épistémique  Logique épistémique  Markov, Processus de  Mensonges  Mobilité  Modèles mathématiques  Modélisation des flux des passagers  Méthodes formelles  Observations partielles  Ordres partiels  Performances  Petri, Réseaux de  Processus stochastiques  Programmation dynamique  Qualité de Service  Réseaux  Réseaux d'automates temporisés  Réseaux d'ordinateurs  Réseaux de Petri  Réseaux de Petri temporels  Réseaux de Pétri  Stabilité  Supervision  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  Temps réel  Test de conformité  Théorie de la Concurrence  Traitement réparti  Transport de voyageurs  Treillis, Théorie des  Télécommunication  Vérification  Vérification quantitative  Équivalence de comportement pour systèmes distribués  

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

Informatique
Soutenue le 05-12-2016
Thèse soutenue

Stefan Haar a été président de jury de la thèse suivante :


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