Benot Caillaud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
1991–2020
Best venue rank
Journal Published
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FDL | An Algebra of Deterministic Propositional Acceptance Automata (DPAA). | Aurlien Lamercerie, Benot Caillaud |
| 2016 | EGVE | From Observations to Collaborative Simulation: Application to Surgical Training. | Guillaume Claude, Valrie Gouranton, Benot Caillaud, Bernard Gibaud, Pierre Jannin, Bruno Arnaldi |
| 2012 | ICTAC | Ensuring Reachability by Design. | Benot Caillaud, Jean-Baptiste Raclet |
| 2011 | EMSOFT | A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. | Albert Benveniste, Timothy Bourke, Benot Caillaud, Marc Pouzet |
| 2010 | FORTE | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2009 | EMSOFT | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2006 | EMSOFT | Communication by sampling in time-sensitive distributed systems. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2005 | EMSOFT | Tag machines. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | From multi-clocked synchronous processes to latency-insensitive modules. | Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benot Caillaud |
| 2004 | EMSOFT | Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 1999 | CONCUR | From Synchrony to Asynchrony. | Albert Benveniste, Benot Caillaud, Paul Le Guernic |
| 1998 | ISORC | BDL, A Language of Distributed Reactive Objects. | Jean-Pierre Talpin, Albert Benveniste, Benot Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon |
| 1991 | FORTE | The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. | Benot Caillaud |