Didier Lime

Ph.D. - Maître de Conférences

Address:	IRCCyN / École Centrale de Nantes
	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@irccyn.ec-nantes.fr (remove "pas-de-spam.")
GPG:	my public key

Research interests

I am mainly interested in formal techniques for the analysis and control of real-time and embedded systems and more specifically in:

Timed automata, time Petri nets and their hybrid extensions
The links between those models
The computation of their state-space
The synthesis of (optimal) controllers in the framework of timed games (with costs)

I am involved in some software development:

Romeo: A tool for the simulation, model-checking and control of time Petri nets (see [GMLR05,LRST09]);
Uppaal-Tiga: An extension of Uppaal for the synthesis of real-time controllers for systems modeled as timed game automata (see [CDF+05,BCD+07]).

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:

Here is a list of my publications and the corresponding BibTex file.

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

I am teaching Modeling and Verification in the Master ASP of the École Centrale de Nantes.

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

My co-authors:

Gerd Behrmann, Alexandre David, Kim G. Larsen and Jiri Srba (Aalborg University, Denmark)
Jean-François Raskin (Université Libre de Bruxelles, Belgium)
John Mullins (École Polytechnique de Montréal, Québec, Canada)
Jamil Ahmad (National University of Sciences and Technology, Islamabad, Pakistan)
Louis-Marie Traonouez (Florence University, Italy)
Olivier H. Roux, Franck Cassez, Morgan Magnin, Charlotte Seidner, Gilles Benattar and Olivier Roux (IRCCyN, Nantes, France)
Bernard Berthomieu and François Vernadat (LAAS, Toulouse, France)
Béatrice Bérard and Mathieu Sassolas (LIP6, Paris, France)
Claude Jard and Bartosz Grabiec (IRISA, Rennes, France)
Serge Haddad (LSV, Cachan, France)
Emmanuel Fleury (LaBRI, Bordeaux, France)
Gilles Bernot and Jean-Paul Comet (I3S, Sophia-Antipolis, France)
Guillaume Gardey, Agnès Cougnard.