Didier

Didier Lime

Maître de Conférences HDR, Ph.D.
Responsable de l'équipe Systèmes Temps Réel (STR)
Adresse: É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 (supprimez "pas-de-spam.")
GPG: my public key
 

See the english version of this page

Recherche

Je m'intéresse principalement aux modèles temporisés, avec des applications, entre autres, aux systèmes temps réel embarqués. Plus précisément, je travaille sur:

Publications

Voici la liste de mes publications ainsi que le fichier BibTex correspondant. Une partie de ces informations est également disponible sur DBLP ou Google Scholar.

Outils logiciels

Je participe au développement de deux logiciels :

Projets

Je suis impliqué :

Et précédemment dans les projets suivant :

Doctorants

Enseignement

J'enseigne à l'École Centrale de Nantes les sujets suivants :

Et précédemment :

J'enseigne également la Modélisation et Vérification dans le Master CORO ERTS.

Il y a longtemps, j'ai également enseigné à l'École des Mines de Nantes :

Liens utiles

Événements dans lesquels je suis (ou j'étais) impliqué

Des outils logiciels