Jean-Baptiste Raclet

I am now assistant professor at IRIT in the team ACADIE. Contact Information INRIA Grenoble Rhône-Alpes, Team Pop-Art E-mail address:  raclet@inrialpes.fr Postal address:  INRIA Rhône-Alpes, 655 av. de l'Europe, Montbonnot, 38334 Saint Ismier Cedex, FRANCE Room: D-215 Telephone: +33 (0)4.76.61.52.17 Fax: +33 (0)4.76.61.52.52

Who Am I ?

I am a postdoctoral research fellow in the Pop-Art Team at INRIA Grenoble Rhône-Alpes. I am working on the project COMBEST (COMponent-Based Embedded Systems design Techniques) funded by the European Commission (FP7).
I received my PhD from the University of Rennes in December 2007. I worked at the IRISA lab, under the direction of Eric Badouel. My PhD dissertation is available here. The slides of my PhD defense are here.

Research interests

My research topics are :

• Formal methods for system design and verification
• Interface specifications for component-based design
• Assume/guarantee contracts
• Logical specifications
• Language and automata theory
• Control of discrete event systems

Publications

Thesis

• Quotient de spécifications pour la réutilisation de composants
  PhD Thesis, École doctorale Matisse, Université de Rennes 1, IRISA. December 2007 (.pdf, .bib).
  
  
• Contrôle des Systèmes Non-déterministes.
  Master Thesis, Université de Rennes I, Juin 2004. (pdf)
  
  

Journal

• J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay and R. Passerone. A Modal Interface Theory for Component-based Design.
  In Fundamenta Informaticae, 2010. To appear.

Conferences

• N. Bertrand, A. Legay, S. Pinchinat and J.-B. Raclet. A Compositional Approach on Modal Specifications for Timed Systems.
  In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), Rio de Janeiro, Brazil, December, 2009. Springer. (.pdf, .bib)
  
  
• G. Goessler and J.-B. Raclet. Modal Contracts for Component-based Design.
  In Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), Hanoi, Vietnam, November, 2009. IEEE Computer Society Press. (.pdf, .bib)
  
  
• J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay and R. Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications.
  In Proc. of 9th International Conference on Embedded Software (EMSOFT'09), Grenoble, France, October, 2009. ACM. (.pdf, .bib)
  
  
• J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud and R. Passerone. Why are Modalities Good for Interface Theories?
  In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09), Augsburg, Germany, July, 2009. IEEE Computer Society Press. (.pdf, .bib)
  
  
• N. Bertrand and S. Pinchinat and J.-B. Raclet. Refinement and Consistency of Timed Modal Specifications.
  In Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Tarragona, Spain, April 2009. LNCS 5457, pages 152-163. Springer. (.pdf, .bib)
  
  
• J.-B. Raclet. Residual for Component Specifications.
  In Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), Sophia-Antipolis, France, September 19-21, 2007. ENTCS 215, pages 93-110. (.pdf, .bib)
  
  
• S. Pinchinat and J.-B. Raclet. Supervisory Control Problems for Nondeterministic Discrete-Event Systems: a Logical Approach.
  In Proc. of the 16th IFAC World Congress, Prague, Czech Republic, 4-8 July, 2005. Elsevier Science Publishers. (.pdf, .bib)
  

Research Report

These research reports are often long versions with full proofs of my conference papers.

• N. Bertrand, A. Legay, S. Pinchinat and J.-B. Raclet. A Compositional Approach on Modal Specifications for Timed Systems.
  INRIA Research Report n°7039, September 2009. (HAL).
  
  
• J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud and R. Passerone. Why are Modalities Good for Interface Theories?
  INRIA Research Report n°6899, April 2009. (HAL).
  
  
• J.-B. Raclet. Residual for Component Specifications
  INRIA Research Report n°6196, April 2007. (HAL).
  
  
• S. Pinchinat and J.-B. Raclet. The Control of Non-deterministic Systems: a Logical Approach.
  IRISA Research Report n°1648, November 2004. (.ps, .pdf).

Other

• A Modal Interface Theory for Component-based Design.
  Poster. October, 2009. (.pdf)
  
  
• Synthesis of Component Adaptor via Quotient of Specifications.
  MOdelling and VErifying parallel Processes "Summer School", Bordeaux, France, 19-23 June, 2006. (pdf)
  
  

Teaching

• 2006-07 : TP d'algorithmique et programmation en Pascal au lycée Chateaubriand (page dédiée ici).
• 2005-06 : TD d'algorithmique des graphes à l'IFSIC (page du cours ici).
• 2005-06 : TP d'algorithmique programmation au CNAM de Rennes (page dédiée ici).