ACD  Accessibilité  Algorithmes  Algorithmes optimaux  Analyse quantitative  Apprentissage actif  Apprentissage automatique  Arbres  Automate  Automates  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  Equilibre de Nash  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 wrote the following thesis:

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

by Nicolas Markey supervised by François Le Berre - Orléans

Informatique

defended on 2003

Nicolas Markey supervised the 9 following theses

Robustness of timed automata : computing the maximally-permissive strategies

by Emily Clement supervised by Thierry Jéron and Nicolas Markey . - Rennes 1

Informatique

defended on 11-03-2022

A verification viewpoint on network congestion games

by Suman Sadhukhan supervised by Nathalie Bertrand and Nicolas Markey . - Rennes 1

Informatique

defended on 09-12-2021

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

by Léo Henry supervised by Nicolas Markey and Thierry Jéron . - Rennes 1

Informatique

defended on 03-12-2021

Efficient verification of real time systems

by Victor Roussanaly supervised by Nicolas Markey and Ocan Sankur . - Rennes 1

Informatique

defended on 30-11-2020

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

by Mauricio GONZáLEZ GóMEZ supervised by Patricia Bouyer-Decitre , Nicolas Markey and Samson Lasaulce . - Université Paris-Saclay (ComUE)

Informatique

defended on 29-11-2019

Semantics of Strategy Logic

by Patrick Gardy supervised by Patricia Bouyer-Decitre and Nicolas Markey . - Université Paris-Saclay (ComUE)

Mathématiques et Informatique

defended on 12-06-2017

Stratégies randomisées dans les jeux concurrents

by Daniel Stan supervised by Nicolas Markey - Université Paris-Saclay (ComUE)

Informatique

defended on 30-03-2017

Robustness in timed automata : analysis, synthesis, implementation

by Ocan Sankur supervised by Nicolas Markey - Cachan, Ecole normale supérieure

Informatique

defended on 24-05-2013

Nash equilibria in concurrent games : application to timed games

by Romain Brenguier supervised by Nicolas Markey - Cachan, Ecole normale supérieure

Informatique

defended on 29-11-2012

Nicolas Markey was president of the thesis committee the 2 following theses

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

by Bastien Sérée supervised by Didier Lime and Loïg Jezequel . - Ecole centrale de Nantes

Informatique

defended on 15-12-2022

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

by Arthur Queffelec supervised by François Schwarzentruber - Rennes 1

Informatique

defended on 11-10-2021

Nicolas Markey was examiner the 3 following theses

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

by Florian Renkin supervised by Alexandre Duret-Lutz and Adrien Pommellet . - Sorbonne université

Informatique

defended on 07-10-2022

Verification of timed automata : reachability, liveness and modelling

by Thanh tung Tran supervised by Igor Walukiewicz - Bordeaux

Informatique

defended on 04-11-2016

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

by Aleksandra Jovanovic supervised by Didier Lime - Ecole centrale de Nantes

Informatique et applications

defended on 2013

Nicolas Markey was thesis committee member the 3 following theses

Automate sur les structures temporisée

by Samy Jaziri supervised by Patricia Bouyer-Decitre - Université Paris-Saclay (ComUE)

Informatique

defended on 24-09-2019

Algorithmes pour la synthèse et le model checking

by Janusz Malinowski supervised by Peter Niebert - Aix-Marseille

Informatique

defended on 10-12-2012

Propriétés de jeux multi-agents

by Arnaud Da Costa Lopes (Da Costa Lopes) supervised by Wieslaw Zielonka and François Laroussinie . - Cachan, Ecole normale supérieure

Informatique

defended on 20-09-2011