--  ...  Abstractions des systèmes dynamiques  Algorithmes  Amélioration de stratégie  Apprentissage  Apprentissage par démonstration  Automates  Automates a pile  Automates de Büchi  Automates mathématiques, Théorie des  Automates temporisés  Automates à registres  Calculabilité  Chaînes de Markov  Commande robuste  Complexité  Complexité de calcul  Concurrent  Continuité  Diagnostic  Domaines de données  Décidabilité  Jeux stochastiques  Logiciels -- Vérification  Optimisation  Petri, Réseaux de  Processus stochastiques  Synthèse  Théorie algorithmique des jeux  Théorie des jeux  Traitement réparti  Vérification  Vérification de modèles  Vérification de modèles  Vérification paramétrée  

Nathalie Bertrand a rédigé la thèse suivante :

Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique

par Nathalie Bertrand sous la direction de Philippe Schnoebelen - Cachan, Ecole normale supérieure

Informatique

Soutenue en 2006

Nathalie Bertrand a dirigé les 4 thèses suivantes :

A verification viewpoint on network congestion games

par Suman Sadhukhan sous la direction de Nathalie Bertrand et de Nicolas Markey . - Rennes 1

Informatique

Soutenue le 09-12-2021

Verification and synthesis of parameterized concurrent systems

par Anirban Majumdar sous la direction de Patricia Bouyer-Decitre et de Nathalie Bertrand . - université Paris-Saclay

Informatique

Soutenue le 30-09-2021

Controlling information in probalistic systems

par Engel Lefaucheux sous la direction de Nathalie Bertrand et de Serge Haddad . - Rennes 1

Informatique

Soutenue le 24-09-2018

Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques

par Paulin Fournier sous la direction de Thierry Jéron et de Nathalie Bertrand . - Rennes 1

Informatique

Soutenue le 17-12-2015

Nathalie Bertrand a été président de jury des 3 thèses suivantes :

Parity games and reachability in infinite-state systems with parameters

par Mathieu Hilaire sous la direction de Stefan Göller et de Benedikt Bollig . - université Paris-Saclay

Informatique

Soutenue le 13-12-2022

Skeletal semantics transformations

par Guillaume Ambal sous la direction de Alan Schmitt - Rennes 1

Informatique

Soutenue le 19-10-2022

Strategy improvement method for solving simple stochastic games

par Xavier Badin de Montjoye sous la direction de Yann Strozecki , Jean-Michel Fourneau et de David Auger . - université Paris-Saclay

Informatique

Soutenue le 11-07-2022

Nathalie Bertrand a été rapporteur des 2 thèses suivantes :

Non-determinism, explorable automata and cyclic proofs

par Émile Hazard sous la direction de Damien Pous - Lyon, École normale supérieure

Informatique

Soutenue le 30-09-2022

Stratégies randomisées dans les jeux concurrents

par Daniel Stan sous la direction de Nicolas Markey - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-03-2017

Nathalie Bertrand a été membre de jury des 9 thèses suivantes :

Automatic synthesis of systems with data

par Léo Exibard sous la direction de Pierre-Alain Reynier et de Emmanuel Filiot . - Aix-Marseille

Informatique

Soutenue le 20-09-2021

Synthesis for parameterized systems

par Mathieu Lehaut sous la direction de Béatrice Bérard et de Benedikt Bollig . - Sorbonne université

Informatique

Soutenue le 17-12-2020

Apprentissage et vérification statistique pour la sécurité

par Dimitri Antakly sous la direction de Philippe Leray et de Benoît Delahaye . - Nantes

Informatique

Soutenue le 02-07-2020

Optimisation en-ligne pour les systèmes dynamiques en temps-réel

par Stéphan Plassart sous la direction de Bruno Gaujal et de Alain Girault . - Université Grenoble Alpes

Informatique

Soutenue le 16-06-2020

Symbolic controller synthesis for timed systems : robustness and optimality

par Damien Busatto-Gaston sous la direction de Pierre-Alain Reynier et de Benjamin Monmege . - Aix-Marseille

Informatique

Soutenue le 03-12-2019

Contributions to robotic control design with formal safety and stability guarantees

par Philipp Schlehuber-Caissier sous la direction de Vincent Padois et de Nicolas Perrin . - Sorbonne université

Robotique

Soutenue le 12-11-2018

Vers des outils efficaces pour la vérification de systèmes concurrents

par Thomas Geffroy sous la direction de Jérôme Leroux et de Grégoire Sutre . - Bordeaux

Informatique

Soutenue le 12-12-2017

Discrete Parameters in Petri Nets

par Nicolas David sous la direction de Claude Jard et de Didier Lime . - Nantes

Informatique

Soutenue le 20-10-2017

Le problème de la valeur dans les jeux stochastiques

par Youssouf Oualhadj sous la direction de Hugo Gimbert et de Anca Muscholl . - Bordeaux 1

Informatique

Soutenue le 11-12-2012