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

Événements passés et à venir dans lesquels je suis impliqué

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, ou j'ai été, impliqué dans les projets suivants :

Doctorants

Enseignement

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

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

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

Liens utiles

Des gens

Mes co-auteurs:

Des outils logiciels