Algorithmes optimaux  Analyse Causale  Analyse de logs distribués  Applications mobiles  Apprentissage automatique  Apprentissage machine  Assurance qualité  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îne de Markov  Chaînes de Markov  Complexité  Complexité de calcul  Concurrence -- Restrictions  Concurrence  Contraintes temporelles paramétrisées  Crowdsourcing  Diagnostic  Diagnosticabilité  Dépliage  Dépliages  Dépliages avec contraintes  Détecteurs de mensonge  Logiciels -- Vérification  Markov, Processus de  Petri, Réseaux de  Réseaux d'automates temporisés  Réseaux de Petri  Réseaux de Petri temporels  Systèmes à paramètres répartis  Traitement réparti  Vérification  

Stefan Haar dirige actuellement la thèse suivante :

ESCAPE - Analyse Causale d'Ecosystèmes par dépliages

par Giann karlo AGUIRRE-SAMBONí sous la direction de Stefan Haar - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2020

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

Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks

par Juraj Kolcak sous la direction de Stefan Haar - université Paris-Saclay

Informatique

Soutenue le 06-07-2021

Algorithmes pour la prédiction de stratégies de reprogrammation cellulaire dans les réseaux Booléens.

par Hugues Mandon sous la direction de Stefan Haar - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 19-11-2019

Supervision en transport multimodal

par Simon Theissing sous la direction de Stefan Haar - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 05-12-2016

Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes

par Yamil Salim Perchy sous la direction de Stefan Haar - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 04-10-2016

Testing concurrent systems through event structures

par Hernan Ponce de León sous la direction de Stefan Haar - Cachan, Ecole normale supérieure

Informatique

Soutenue le 07-11-2014

Study of concurrency in real-time distributed systems

par Sandie Balaguer sous la direction de Stefan Haar - Cachan, Ecole normale supérieure

Informatique

Soutenue le 13-12-2012

Algorithmes distribués pour la négociation de contrats de qualité de service dans les réseaux multi-domaines

par Hélia Pouyllau sous la direction de Stefan Haar - Rennes 1

Informatique

Soutenue en 2007

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

Random generation of executions of concurrent systems

par Yi ting Chen sous la direction de Jean Mairesse et de Samy Abbes . - Sorbonne université

Informatique

Soutenue le 07-01-2022

An operational semantics of interactions for verifying partially observed executions of distributed systems

par Erwan Mahe sous la direction de Pascale Le Gall et de Christophe Gaston . - université Paris-Saclay

Informatique

Soutenue le 15-07-2021

Data centric workflows for crowdsourcing application

par Rituraj Singh sous la direction de Loïc Hélouët - Rennes 1

Informatique

Soutenue le 23-04-2021

Méthodes d'apprentissage machine pour la protection de la vie privée : mesure de leakage et design des mécanismes

par Marco Romanelli sous la direction de Catuscia Palamidessi et de Moreno Falaschi . - Institut polytechnique de Paris

Informatique, données, IA

Soutenue le 21-10-2020

Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués

par Hassan Ibrahim sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 16-12-2016

Analyses de performance et de stabilité des réseaux de télécommunication

par Aurore Junier sous la direction de Claude Jard - Cachan, Ecole normale supérieure

Informatique

Soutenue le 16-12-2013

Stefan Haar a été rapporteur de la thèse suivante :

Factorisation de systèmes dynamiques discrets

par Sara Riva sous la direction de Enrico Formenti et de Alberto Dennunzio . - Université Côte d'Azur

Informatique

Soutenue le 21-11-2022

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

Verification based on unfoldings of Petri nets with read arcs

par César Rodríguez sous la direction de Stefan Schwoon - Cachan, Ecole normale supérieure

Informatique

Soutenue le 12-12-2013

Numerical and statistical approaches for model checking of stochastic processes

par Hilal Djafri sous la direction de Serge Haddad - Cachan, Ecole normale supérieure

Informatique

Soutenue le 19-06-2012

Supervision of distributed systems using constrained unfoldings of timed models

par Bartosz Grabiec sous la direction de Claude Jard - Cachan, Ecole normale supérieure

Mathématiques

Soutenue le 04-10-2011