Benoît Caillaud

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