Jean-Baptiste Raclet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2009–2016
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ATVA | Solving Language Equations Using Flanked Automata. | Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet |
| 2015 | LATA | Quotient of Acceptance Specifications Under Reachability Constraints. | Guillaume Verdier, Jean-Baptiste Raclet |
| 2012 | ICTAC | Ensuring Reachability by Design. | Benot Caillaud, Jean-Baptiste Raclet |
| 2010 | RV | Causality Analysis in Contract Violation. | Gregor Gler, Daniel Le Mtayer, Jean-Baptiste Raclet |
| 2009 | EMSOFT | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2009 | ICFEM | A Compositional Approach on Modal Specifications for Timed Systems. | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
| 2009 | LATA | Refinement and Consistency of Timed Modal Specifications. | Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet |
| 2009 | SEFM | Modal Contracts for Component-Based Design. | Gregor Goessler, Jean-Baptiste Raclet |