Didier

Didier Lime

Professeur
Responsable du pôle Commande et Conduite de Systèmes (CCS) du LS2N
Responsable de l'option Informatique pour l'IA (InfoIA) de la formation ingénieur généraliste
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.")
 

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'ai aussi enseigné aussi la Modélisation et Vérification dans le Master CORO ERTS.

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

Liens utiles

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

Des outils logiciels