Didier -- Thanks to Olivier for the photo

Didier Lime

Maître de Conférences HDR, Ph.D.
Head of the Real-Time Systems (STR) group
Address: École Centrale de NantesLS2N
1 rue de la Noë - B.P. 92101
44321 Nantes Cedex 3, France
Tel: +33 2 55 58 91 80
Fax: +33 2 40 37 69 30
Email: pas-de-spam.Didier.Lime@ec-nantes.fr (remove "pas-de-spam.")
GPG: my public key

Voir la version française de cette page.

Upcoming and past events in which I am involved

Research interests

I am mainly interested in timed formal models with applications, among others, to real-time embedded sytems. More specifically I work on:


Here is a list of my publications and the corresponding BibTex file. Some of that information is also available at DBLP or Google Scholar.


I am involved in some software development:


I am or was involved in the following projects:

Ph.D. Students


I am teaching at École Centrale de Nantes on the following topics:

I am teaching Modeling and Verification in the Master ARIA.

A long time ago, I also used to teach at École des Mines de Nantes on:

Useful links


My co-authors: