--  Algorithmes parallèles  Apprentissage actif  Apprentissage automatique  Arbres  Arbres d'attaque et de défaillance  Automate  Automates programmables  Automates temporisés  Boucles inobservables  Canaux cachés  Chaine de Markov  Comportements Zeno  Contraintes sur l’énergie  Contraintes temporelles paramétrisées  Contrôle  Décidabilité  Dépliages avec contraintes  Estimation d’état  Event-Recording Logic  Event-Recording automata  Exploration de données  Graphes paramétrés  Jeux sur les graphes  Jeux temporisés  Logique temps-réel  Markov, Processus de  Mathématiques Probabilistes  Model-checking  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Petri, Réseaux de  Temps réel  Théorie des jeux  Vérification de modèles  

Didier Lime a rédigé la thèse suivante :

Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus

par Didier Lime sous la direction de Yvon Trinquet et de Olivier Henri Roux . - Nantes

Automatique et informatique appliquée

Soutenue en 2004

Didier Lime a dirigé les 5 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

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

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

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

Synthèse de systèmes informatiques temporisés non interférents

par Gilles Benattar sous la direction de Olivier Henri Roux et de Didier Lime . - Nantes

Automatique et informatique appliquée

Soutenue en 2011

Didier Lime a été président de jury de la thèse suivante :

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

Didier Lime a été rapporteur des 2 thèses suivantes :

Schedulability Analysis of Probabilistic Real-Time Systems

par Jasdeep Singh sous la direction de Luca Santinelli et de Jean-Loup Farges . - Toulouse, ISAE

Informatique et Télécommunications

Soutenue le 06-03-2020

Efficient Parametric Verification of Parametric Timed Automata

par Hoang Gia Nguyen sous la direction de Laure Petrucci et de Étienne André . - Sorbonne Paris Cité

Informatique

Soutenue le 28-08-2018

Didier Lime a été membre de jury des 2 thèses suivantes :

Supervision of distributed systems using constrained unfoldings of timed models

par Bartosz Grabiec sous la direction de Claude Jard - Cachan, Ecole normale supérieure

Mathématiques

Soutenue le 04-10-2011

Synthesis for a weak real-time logic

par Omer Nguena-Timo sous la direction de Igor Walukiewicz - Bordeaux 1

Informatique

Soutenue le 07-12-2009