...  Algorithmes  Analyse quantitative  Analyse statique  Architecture des réseaux d'ordinateurs  Arithmétique entière en précision arbitraire  Arithmétique interne des ordinateurs  Automates  Automates de Büchi  Automates programmables  Automates temporisés  Automates temporisés et stochastiques  Commande robuste  Concurrence  Concurrent  Des circuits analogiques  Determinisation  Diagnostic  Drones terrestres  Décidabilité  Décidabilité  Déduction  Détermination  Equilibre  Expressions rationnelles  Formalisme  Génie logiciel  Jeux  Markov, Processus de  Méthodes formelles  Méthodes formelles  Processus stochastiques  Synthèse  Théorie des jeux  Vérification  Vérification de modèles  

Patricia Bouyer-decitre a rédigé la thèse suivante :

Modèles et algorithmes pour la vérification des systèmes temporisés

par Patricia Bouyer-Decitre sous la direction de Antoine Petit - Cachan, Ecole normale supérieure

Informatique

Soutenue en 2002

Patricia Bouyer-decitre dirige actuellement les 3 thèses suivantes :

Concurrence déterminée

par Benjamin Bordais sous la direction de Patricia Bouyer-decitre et de Stéphane Le roux . - université Paris-Saclay

Informatique

En préparation depuis le 01-09-2020

Jeux multi-joueurs

par Nathan Thomasset sous la direction de Patricia Bouyer-decitre et de Stéphane Le roux . - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2019

Jeux pour réseaux distribués : modèles et algorithmes

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

Informatique

En préparation depuis le 30-09-2018

Patricia Bouyer-decitre a dirigé les 4 thèses suivantes :

Jeux stochastiques sur des graphes avec des applications à l’optimisation des smart-grids

par Mauricio GONZáLEZ GóMEZ sous la direction de Patricia Bouyer-Decitre , Nicolas Markey et de Samson Lasaulce . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 29-11-2019

Automate sur les structures temporisée

par Samy Jaziri sous la direction de Patricia Bouyer-Decitre - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 24-09-2019

Verification of Stochastic Timed Automata

par Pierre Carlier sous la direction de Patricia Bouyer-Decitre et de Thomas Brihaye . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 08-12-2017

Semantics of Strategy Logic

par Patrick Gardy sous la direction de Patricia Bouyer-Decitre et de Nicolas Markey . - Université Paris-Saclay (ComUE)

Mathématiques et Informatique

Soutenue le 12-06-2017

Patricia Bouyer-decitre a été rapporteur des 2 thèses suivantes :

Modélisation formelle de systèmes de drones civils à l’aide de méthodes probabilistes paramétrées

par Ran Bao sous la direction de Christian Attiogbé et de Benoît Delahaye . - Nantes

Informatique

Soutenue le 07-05-2020

Synthesis of Interactive Reactive Systems

par Rodica Bozianu sous la direction de Catalin Dima - Paris Est

Informatique

Soutenue le 12-12-2016

Patricia Bouyer-decitre a été membre de jury des 5 thèses suivantes :

Development and verification of arbitrary-precision integer arithmetic libraries

par Raphaël Rieu sous la direction de Guillaume Melquiond - université Paris-Saclay

Informatique

Soutenue le 03-11-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

Pattern Matching with Time : Theory and Applications

par Dogan Ulus sous la direction de Oded Maler - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 15-01-2018

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

Motifs de flot d'Information dans les jeux à information imparfaite

par Marie Van Den Bogaard sous la direction de Laurent Doyen - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 29-11-2016