The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. - Benoît Caillaud (FORTE, 1991)

Correctness of Automated Distribution of Sequential Programs. - Cyrille Bareau; Benoît Caillaud; Claude Jard; René Thoraval (PARLE, 1993)

Measuring Concurrency of Regular Distributed Computations. - Cyrille Bareau; Benoît Caillaud; Claude Jard; René Thoraval (TAPSOFT, 1995)

BDL, A Language of Distributed Reactive Objects. - Jean-Pierre Talpin; Albert Benveniste; Benoît Caillaud; Claude Jard; Zakaria Bouziane; Hubert Canon (ISORC, 1998)

From Synchrony to Asynchrony. - Albert Benveniste; Benoît Caillaud; Paul Le Guernic (CONCUR, 1999)

Protocol engineering using UML. - Claude Jard; Jean-Marc Jézéquel; Alain Le Guennec; Benoît Caillaud (Ann. des Télécommunications, 1999)

HMSCs as Partial Specifications ... with PNs as Completions. - Benoît Caillaud; Philippe Darondeau; Loïc Hélouët; Gilles Lesventes (MOVEP, 2000)

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. - Albert Benveniste; Benoît Caillaud; Paul Le Guernic (Inf. Comput., 2000)

Preface. - Benoît Caillaud; Anca Muscholl (VISS@ETAPS, 2002)

Distributing Finite Automata Through Petri Net Synthesis. - Éric Badouel; Benoît Caillaud; Philippe Darondeau (Formal Aspects Comput., 2002)

An Event Structure Based Semantics for High-Level Message Sequence Charts. - Loïc Hélouët; Claude Jard; Benoît Caillaud (Math. Struct. Comput. Sci., 2002)

Modular System Development with Pullbacks. - Marek A. Bednarczyk; Luca Bernardinello; Benoît Caillaud; Wieslaw Pawlowski; Lucia Pomello (ICATPN, 2003)

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (FMCO, 2003)

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2004)

Merging Scenarios. - Jacques Klein; Benoît Caillaud; Loïc Hélouët (FMICS, 2004)

Tag machines. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

From multi-clocked synchronous processes to latency-insensitive modules. - Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoît Caillaud (EMSOFT, 2005)

Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. - Sohini Dasgupta; Dumitru Potop-Butucaru; Benoît Caillaud; Alexandre Yakovlev (FMGALS@MEMOCODE, 2005)

Communication by sampling in time-sensitive distributed systems. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (EMSOFT, 2006)

Concurrency in Synchronous Systems. - Dumitru Potop-Butucaru; Benoît Caillaud; Albert Benveniste (Formal Methods Syst. Des., 2006)

Multiple Viewpoint Contract-Based Specification and Design. - Albert Benveniste; Benoît Caillaud; Alberto Ferrari; Leonardo Mangeruca; Roberto Passerone; Christos Sofronis (FMCO, 2007)

A Generic Model of Contracts for Embedded Systems - Albert Benveniste; Benoît Caillaud; Roberto Passerone (CoRR, 2007)

Concurrent Secrets. - Éric Badouel; Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Benoît Caillaud; Philippe Darondeau (Discret. Event Dyn. Syst., 2007)

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. - Dumitru Potop-Butucaru; Benoît Caillaud (Fundam. Informaticae, 2007)

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts - Benoît Delahaye; Benoît Caillaud (CoRR, 2008)

Composing heterogeneous reactive systems. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2008)

Why Are Modalities Good for Interface Theories?. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Roberto Passerone (ACSD, 2009)

Modal interfaces: unifying interface automata and modal specifications. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone (EMSOFT, 2009)

Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers. - S. Laurie Ricker; Benoît Caillaud (ECC, 2009)

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. - Benoît Delahaye; Benoît Caillaud; Axel Legay (ACSD, 2010)

The fundamentals of hybrid systems modelers. - Albert Benveniste; Benoît Caillaud; Marc Pouzet (CDC, 2010)

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay (FMOODS/FORTE, 2010)

Compositional Design Methodology with Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2010)

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Marc Pouzet (EMSOFT, 2011)

Divide and recycle: types and compilation for a hybrid synchronous language. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Marc Pouzet (LCTES, 2011)

Mind the gap: Expanding communication options in decentralized discrete-event control. - S. Laurie Ricker; Benoît Caillaud (Autom., 2011)

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. - Benoît Delahaye; Benoît Caillaud; Axel Legay (Formal Methods Syst. Des., 2011)

A Modal Interface Theory for Component-based Design. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone (Fundam. Informaticae, 2011)

Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Theor. Comput. Sci., 2011)

Application of interface theories to the separate compilation of synchronous programs. - Albert Benveniste; Benoît Caillaud; Jean-Baptiste Raclet (CDC, 2012)

Ensuring Reachability by Design. - Benoît Caillaud; Jean-Baptiste Raclet (ICTAC, 2012)

Non-standard semantics of hybrid systems modelers. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Marc Pouzet (J. Comput. Syst. Sci., 2012)

Domain Globalization: Using Languages to Support Technical and Social Coordination. - Julien Deantoni; Cédric Brun; Benoît Caillaud; Robert B. France; Gabor Karsai; Oscar Nierstrasz; Eugene Syriani (Globalizing Domain-Specific Languages, 2014)

A type-based analysis of causality loops in hybrid systems modelers. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Bruno Pagano; Marc Pouzet (HSCC, 2014)

Robust Simulation for Hybrid Systems: Chattering Path Avoidance. - Ayman Aljarbouh; Benoît Caillaud (CoRR, 2015)

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. - Ayman Aljarbouh; Yingfu Zeng; Adam Duracz; Benoît Caillaud; Walid Taha (CSE/EUC/DCABES, 2016)

From Observations to Collaborative Simulation: Application to Surgical Training. - Guillaume Claude; Valérie Gouranton; Benoît Caillaud; Bernard Gibaud; Pierre Jannin; Bruno Arnaldi (ICAT-EGVE, 2016)

Synthesis and Simulation of Surgical Process Models. - Guillaume Claude; Valérie Gouranton; Benoît Caillaud; Bernard Gibaud; Bruno Arnaldi; Pierre Jannin (MMVR, 2016)

Synchronous Interfaces and Assume/Guarantee Contracts. - Albert Benveniste; Benoît Caillaud (Models, Algorithms, Logics and Tools, 2017)

Structural Analysis of Multi-Mode DAE Systems. - Albert Benveniste; Benoît Caillaud; Hilding Elmqvist; Khalil Ghorbal; Martin Otter; Marc Pouzet (HSCC, 2017)

Contracts for System Design. - 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 (Found. Trends Electron. Des. Autom., 2018)

Building a Hybrid Systems Modeler on Synchronous Languages Principles. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Jean-Louis Colaço; Cédric Pasteur; Marc Pouzet (Proc. IEEE, 2018)

Multi-Mode DAE Models - Challenges, Theory and Implementation. - Albert Benveniste; Benoît Caillaud; Hilding Elmqvist; Khalil Ghorbal; Martin Otter; Marc Pouzet (Computing and Software Science, 2019)

An Algebra of Deterministic Propositional Acceptance Automata (DPAA). - Aurélien Lamercerie; Benoît Caillaud (FDL, 2020)

Implicit structural analysis of multimode DAE systems. - Benoît Caillaud; Mathias Malandain; Joan Thibault (HSCC, 2020)

The mathematical foundations of physical systems modeling languages. - Albert Benveniste; Benoît Caillaud; Mathias Malandain (Annu. Rev. Control., 2020)

Unveiling the implicit knowledge, one scenario at a time. - Flavien Lécuyer; Valérie Gouranton; Aurélien Lamercerie; Adrien Reuzeau; Benoît Caillaud; Bruno Arnaldi (Vis. Comput., 2020)

Structural Analysis of Multimode DAE Systems: summary of results. - Albert Benveniste; Benoît Caillaud; Mathias Malandain (CoRR, 2021)

From Hybrid Automata to DAE-Based Modeling. - Albert Benveniste; Benoît Caillaud; Mathias Malandain (Principles of Systems Design, 2022)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. - 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 (CoRR, 2023)

Fault Diagnosability Analysis of Multi-Mode Systems. - Fatemeh Hashemniya; Benoît Caillaud; Erik Frisk; Mattias Krysander; Mathias Malandain (CoRR, 2023)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - 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 (ACM Trans. Cyber Phys. Syst., 2025)