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 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)
Olivier H. Roux, Franck Cassez, Morgan Magnin, Louis-Marie Traonouez, Charlotte Seidner, Gilles Benattar, Olivier Roux and Jamil Ahmad. (IRCCyN, Nantes, France)
Bernard Berthomieu and François Vernadat (LAAS, Toulouse, France)
Béatrice Bérard, Mathieu Sassolas (LIP6, Paris, 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.