...  Algorithmes  Algorithmes quasipolynomiaux  Analyse combinatoire  Analyse quantitative  Analyse statique  Apprentissage automatique  Apprentissage supervisé  Arbres d'attaque et de défaillance  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 sur les mots infinis  Automates temporisés  Automates temporisés et stochastiques  Commande robuste  Concurrent  Des circuits analogiques  Determinisation  Diagnostic  Décidabilité  Jeux  Jeux sur graphes  Logiciels -- Vérification  Markov, Processus de  Méthodes formelles  Méthodes formelles  Processus stochastiques  Synthèse  Systèmes distribués  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 :

Jeux concurrents pour les systèmes distribués

par Luc Lapointe sous la direction de Patricia Bouyer-Decitre - université Paris-Saclay

Informatique

En préparation depuis le 01-09-2023

Jeux concurrents à deux joueurs antagonistes sur les graphes

par Benjamin Bordais sous la direction de Patricia Bouyer-decitre - université Paris-Saclay

Informatique

En préparation depuis le 01-09-2020

Stratégies à mémoire finie dans les jeux concurrents à deux joueurs

par Nathan Thomasset sous la direction de Patricia Bouyer-Decitre - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2019

Patricia Bouyer-Decitre a dirigé les 6 thèses suivantes :

Strategy complexity of zero-sum games on graphs

par Pierre Vandenhove sous la direction de Patricia Bouyer-Decitre et de Mickaël Randour . - université Paris-Saclay

Informatique

Soutenue le 26-04-2023

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

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é président de jury des 3 thèses suivantes :

Verification of Infinite-State Systems and Machine Learning

par Igor Khmelnitsky sous la direction de Serge Haddad et de Alain Finkel . - université Paris-Saclay

Informatique

Soutenue le 27-01-2022

Monotonic graphs for parity and mean-payoff games

par Pierre Ohlmann sous la direction de Olivier Serre - Université Paris Cité

Informatique

Soutenue le 13-12-2021

Systèmes de fonctions holonomes : application à la théorie des automates

par Florent Koechlin sous la direction de Cyril Nicaud et de Arnaud Carayol . - Université Gustave Eiffel

Informatique

Soutenue le 09-12-2021

Patricia Bouyer-Decitre a été rapporteur des 3 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

On the theory and practice of updatable parametric timed automata

par Mathias Ramparison sous la direction de Étienne André et de Didier Lime . - Paris 13

Informatique

Soutenue le 05-09-2019

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