Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jean-Baptiste Raclet

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/BertrandLPR12
- ask others
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12): 1212-1234 (2012)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/BenvenisteCR12
- ask others
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet: Application of interface theories to the separate compilation of synchronous programs. CDC 2012: 7252-7258
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictac/CaillaudR12
- ask others
Benoît Caillaud, Jean-Baptiste Raclet: Ensuring Reachability by Design. ICTAC 2012: 213-227
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-3485
- ask others
Sebastian S. Bauer, Jean-Baptiste Raclet (Eds.): Proceedings Fourth Workshop on Foundations of Interface Technologies. EPTCS 87, 2012
2011
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/RacletBBCLP11
- ask others
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: A Modal Interface Theory for Component-based Design. Fundam. Inform. 108(1-2): 119-149 (2011)
2010
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rv/GosslerMR10
- ask others
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet: Causality Analysis in Contract Violation. RV 2010: 270-284

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acsd/RacletBBCP09
- ask others
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone: Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/emsoft/RacletBBCLP09
- ask others
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/BertrandLPR09
- ask others
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lata/BertrandPR09
- ask others
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/GoesslerR09
- ask others
Gregor Goessler, Jean-Baptiste Raclet: Modal Contracts for Component-Based Design. SEFM 2009: 295-303
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Raclet08
- ask others
Jean-Baptiste Raclet: Residual for Component Specifications. Electr. Notes Theor. Comput. Sci. 215: 93-110 (2008)