ACD  Accessibilité  Algorithmes  Algorithmes optimaux  Analyse quantitative  Apprentissage actif  Apprentissage automatique  Arbres  Automate  Automates  Automates mathématiques, Théorie des  Automates programmables  Automates temporisés  CEGAR  Commande robuste  Complexité de calcul  Complexité technologique  Concurrent  Connaissance Incomplète  Connectivité  Contraintes sur l’énergie  Contrôle  Determinisation  Diagnostic  Décidabilité  Equilibre  Logique temporelle  Model-checking  Méthodes formelles  Méthodes formelles  Processus stochastiques  Robustesse  Temps réel  Théorie des jeux  Vérification de modèles  Vérification formelle  

Nicolas Markey a rédigé la thèse suivante :

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes

par Nicolas Markey sous la direction de François Le Berre - Orléans

Informatique

Soutenue en 2003

Nicolas Markey a dirigé les 9 thèses suivantes :

Robustness of timed automata : computing the maximally-permissive strategies

par Emily Clement sous la direction de Thierry Jéron et de Nicolas Markey . - Rennes 1

Informatique

Soutenue le 11-03-2022

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

There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions

par Léo Henry sous la direction de Nicolas Markey et de Thierry Jéron . - Rennes 1

Informatique

Soutenue le 03-12-2021

Efficient verification of real time systems

par Victor Roussanaly sous la direction de Nicolas Markey et de Ocan Sankur . - Rennes 1

Informatique

Soutenue le 30-11-2020

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

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

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

Robustness in timed automata : analysis, synthesis, implementation

par Ocan Sankur sous la direction de Nicolas Markey - Cachan, Ecole normale supérieure

Informatique

Soutenue le 24-05-2013

Nash equilibria in concurrent games : application to timed games

par Romain Brenguier sous la direction de Nicolas Markey - Cachan, Ecole normale supérieure

Informatique

Soutenue le 29-11-2012

Nicolas Markey a été président de jury des 2 thèses suivantes :

Problèmes d'optimisation dans les graphes paramétrés

par Bastien Sérée sous la direction de Didier Lime et de Loïg Jezequel . - Ecole centrale de Nantes

Informatique

Soutenue le 15-12-2022

Connected multi-agent path finding : how robots get away with texting and driving

par Arthur Queffelec sous la direction de François Schwarzentruber - Rennes 1

Informatique

Soutenue le 11-10-2021

Nicolas Markey a été rapporteur des 3 thèses suivantes :

Transformations d’ω-automates pour la synthèse de systèmes réactifs

par Florian Renkin sous la direction de Alexandre Duret-Lutz et de Adrien Pommellet . - Sorbonne université

Informatique

Soutenue le 07-10-2022

Verification of timed automata : reachability, liveness and modelling

par Thanh tung Tran sous la direction de Igor Walukiewicz - Bordeaux

Informatique

Soutenue le 04-11-2016

Vérification parametrée de systèmes temporisés

par Aleksandra Jovanovic sous la direction de Didier Lime - Ecole centrale de Nantes

Informatique et applications

Soutenue en 2013

Nicolas Markey a été membre de jury des 3 thèses suivantes :

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

Algorithmes pour la synthèse et le model checking

par Janusz Malinowski sous la direction de Peter Niebert - Aix-Marseille

Informatique

Soutenue le 10-12-2012

Propriétés de jeux multi-agents

par Arnaud Da Costa Lopes (Da Costa Lopes) sous la direction de Wieslaw Zielonka et de François Laroussinie . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 20-09-2011