Didier -- Thanks to Franck for the photo

Didier Lime

Maître de Conférences HDR, Ph.D.
Address: École Centrale de NantesIRCCyN
1 rue de la Noë - B.P. 92101
44321 Nantes Cedex 3, France
Tel: +33 2 40 37 69 76
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

Research interests

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

Tools

I am involved in some software development:

Projects

I am the coordinator of the ANR BLANC 2010 project "Implementability and Robustness of Timed Systems" (ImpRo).

I am or was involved in the following projects:

Publications

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

Teaching

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

I am teaching Modeling and Verification in the Master ARIA.

I also used to teach at École des Mines de Nantes on:

Useful links

People

My co-authors:

Websites

Tools