Benoît Caillaud

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 16

Top Topics

Hybrid Automata

Structural Analysis

Modeling Language

Top Venues

Annu. Rev. Control.

Publications

Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain
Fault Diagnosability Analysis of Multi-Mode Systems. CoRR (2023)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design (2022)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
Structural Analysis of Multimode DAE Systems: summary of results. CoRR (2021)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
The Mathematical Foundations of Physical Systems Modeling Languages. CoRR (2020)
Aurélien Lamercerie, Benoît Caillaud
An Algebra of Deterministic Propositional Acceptance Automata (DPAA). FDL (2020)
Benoît Caillaud, Mathias Malandain, Joan Thibault
Implicit structural analysis of multimode DAE systems. HSCC (2020)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
The mathematical foundations of physical systems modeling languages. Annu. Rev. Control. 50 (2020)
Flavien Lécuyer, Valérie Gouranton, Aurélien Lamercerie, Adrien Reuzeau, Benoît Caillaud, Bruno Arnaldi
Unveiling the implicit knowledge, one scenario at a time. Vis. Comput. 36 (10) (2020)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE 106 (9) (2018)
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Contracts for System Design. Found. Trends Electron. Des. Autom. 12 (2-3) (2018)
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
Structural Analysis of Multi-Mode DAE Systems. HSCC (2017)
Albert Benveniste, Benoît Caillaud
Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools (2017)
Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Bruno Arnaldi, Pierre Jannin
Synthesis and Simulation of Surgical Process Models. MMVR (2016)
Ayman Aljarbouh, Yingfu Zeng, Adam Duracz, Benoît Caillaud, Walid Taha
Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. CSE/EUC/DCABES (2016)
Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Pierre Jannin, Bruno Arnaldi
From Observations to Collaborative Simulation: Application to Surgical Training. ICAT-EGVE (2016)
Ayman Aljarbouh, Benoît Caillaud
Robust Simulation for Hybrid Systems: Chattering Path Avoidance. CoRR (2015)
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages (2014)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
A type-based analysis of causality loops in hybrid systems modelers. HSCC (2014)
Benoît Caillaud, Jean-Baptiste Raclet
Ensuring Reachability by Design. ICTAC (2012)
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
Application of interface theories to the separate compilation of synchronous programs. CDC (2012)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78 (3) (2012)
S. Laurie Ricker, Benoît Caillaud
Mind the gap: Expanding communication options in decentralized discrete-event control. Autom. 47 (11) (2011)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT (2011)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES (2011)
Benoît Delahaye, Benoît Caillaud, Axel Legay
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods Syst. Des. 38 (1) (2011)
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
Constraint Markov Chains. Theor. Comput. Sci. 412 (34) (2011)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108 (1-2) (2011)
Benoît Delahaye, Benoît Caillaud, Axel Legay
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD (2010)
Albert Benveniste, Benoît Caillaud, Marc Pouzet
The fundamentals of hybrid systems modelers. CDC (2010)
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
Compositional Design Methodology with Constraint Markov Chains. QEST (2010)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE (2010)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
Why Are Modalities Good for Interface Theories?. ACSD (2009)
S. Laurie Ricker, Benoît Caillaud
Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers. ECC (2009)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
Modal interfaces: unifying interface automata and modal specifications. EMSOFT (2009)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7 (4) (2008)
Benoît Delahaye, Benoît Caillaud
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR (2008)
Dumitru Potop-Butucaru, Benoît Caillaud
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Informaticae 78 (1) (2007)
S. Laurie Ricker, Benoît Caillaud
Mind the gap: Expanding communication options in decentralized discrete-event control. CDC (2007)
Albert Benveniste, Benoît Caillaud, Roberto Passerone
A Generic Model of Contracts for Embedded Systems CoRR (2007)
Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau
Concurrent Secrets. Discret. Event Dyn. Syst. 17 (4) (2007)
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
Multiple Viewpoint Contract-Based Specification and Design. FMCO (2007)
Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Communication by sampling in time-sensitive distributed systems. EMSOFT (2006)
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
Concurrency in Synchronous Systems. Formal Methods Syst. Des. 28 (2) (2006)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Tag machines. EMSOFT (2005)
Dumitru Potop-Butucaru, Benoît Caillaud
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD (2005)
Jacques Klein, Benoît Caillaud, Loïc Hélouët
Merging Scenarios. Electron. Notes Theor. Comput. Sci. 133 (2005)
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud
From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT (2005)
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
Concurrency in Synchronous Systems. ACSD (2004)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT (2004)
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
Modular System Development with Pullbacks. ICATPN (2003)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO (2003)
Loïc Hélouët, Claude Jard, Benoît Caillaud
An Event Structure Based Semantics for High-Level Message Sequence Charts. Math. Struct. Comput. Sci. 12 (4) (2002)
Benoît Caillaud, Anca Muscholl
Preface. Electron. Notes Theor. Comput. Sci. 65 (7) (2002)
Éric Badouel, Benoît Caillaud, Philippe Darondeau
Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects Comput. 13 (6) (2002)
Albert Benveniste, Benoît Caillaud, Paul Le Guernic
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inf. Comput. 163 (1) (2000)
Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
HMSCs as Partial Specifications ... with PNs as Completions. MOVEP (2000)
Albert Benveniste, Benoît Caillaud, Paul Le Guernic
From Synchrony to Asynchrony. CONCUR (1999)
Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud
Protocol engineering using UML. Ann. des Télécommunications 54 (11-12) (1999)
Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
BDL, A Language of Distributed Reactive Objects. ISORC (1998)
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
Measuring Concurrency of Regular Distributed Computations. TAPSOFT (1995)
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
Correctness of Automated Distribution of Sequential Programs. PARLE (1993)
Benoît Caillaud
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. FORTE (1991)