Michel Bourdellès

Address

INRIA - Projet MEIJE

Centre de Mathématiques Appliquées

2004, route des lucioles

B.P. 93

06902 Sophia-Antipolis CDX

FRANCE

Tel: (33) 92 38 79 52

Fax: (33) 92 38 79 98

Email: mbourdel@sophia.inria.fr

Education

• Until December 1998 Phd candidate in computer Science
  Advisor Robert de Simone
• 1995 DEA in Computer Science (Rennes)

Teaching

• I gave lectures (TDs) on ``Outils Formels pour l'Informatique'' at
  the Universitè de Nice Sophia Antipolis (DEUG second year).
  
  
• I gave lectures (CMs/TDs/TPs) on the langage JAVA at
  the Universite de Nice Sophia Antipolis (Licence M.A.S.S).

Research area

• Verification of Synchronous Reactive Systems
• Data interpretation in Symbolic Model Checking

Tool development

• fc2symbmin.
  tool developed for the verification of esterel programs.
  tutorial included in the distribution package.
  
• strldd
  prototype to include data structure in esterel programs for the verification.

Communications

• "The Steam Boiler Controller Problem in Esterel and its verification by means of symbolic analysis ", Michel Bourdelles, Research Report n 3285
  
• "Generation de l'espace des etats de programmes Esterel avec interpretation des tests sur les donnees ", Modelisation des systemes reactifs, M. Bourdelles et R. de Simone, Mars 1999 Cachan.
  
• "SyncCharts/Esterel: un environnement graphique pour la specification et la programmation d'applications reactives complexes", C.Andre, M.Bourdelles and S.Dissoubray, Revue du Genie Logiciel 46, 1997.