![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Benoît Caillaud
Person information
- affiliation: IRISA Rennes
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i7]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 abs/2303.17751 (2023) - [i6]Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain:
Fault Diagnosability Analysis of Multi-Mode Systems. CoRR abs/2312.14030 (2023) - 2022
- [c40]Albert Benveniste, Benoît Caillaud, Mathias Malandain:
From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design 2022: 3-20 - 2021
- [i5]Albert Benveniste, Benoît Caillaud
, Mathias Malandain:
Structural Analysis of Multimode DAE Systems: summary of results. CoRR abs/2101.05702 (2021) - 2020
- [j17]Albert Benveniste, Benoît Caillaud
, Mathias Malandain
:
The mathematical foundations of physical systems modeling languages. Annu. Rev. Control. 50: 72-118 (2020) - [j16]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): 1951-1963 (2020) - [c39]Aurélien Lamercerie, Benoît Caillaud:
An Algebra of Deterministic Propositional Acceptance Automata (DPAA). FDL 2020: 1-8 - [c38]Benoît Caillaud
, Mathias Malandain
, Joan Thibault:
Implicit structural analysis of multimode DAE systems. HSCC 2020: 20:1-20:11 - [i4]Albert Benveniste, Benoît Caillaud
, Mathias Malandain:
The Mathematical Foundations of Physical Systems Modeling Languages. CoRR abs/2008.05166 (2020)
2010 – 2019
- 2019
- [p1]Albert Benveniste, Benoît Caillaud
, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Multi-Mode DAE Models - Challenges, Theory and Implementation. Computing and Software Science 2019: 283-310 - 2018
- [j15]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): 124-400 (2018) - [j14]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): 1568-1592 (2018) - 2017
- [c37]Albert Benveniste, Benoît Caillaud
:
Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools 2017: 233-248 - [c36]Albert Benveniste, Benoît Caillaud
, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Structural Analysis of Multi-Mode DAE Systems. HSCC 2017: 253-263 - 2016
- [c35]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: 412-422 - [c34]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: 85-92 - [c33]Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Bruno Arnaldi
, Pierre Jannin
:
Synthesis and Simulation of Surgical Process Models. MMVR 2016: 63-70 - 2015
- [i3]Ayman Aljarbouh, Benoît Caillaud:
Robust Simulation for Hybrid Systems: Chattering Path Avoidance. CoRR abs/1512.07818 (2015) - 2014
- [c32]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: 70-87 - [c31]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet:
A type-based analysis of causality loops in hybrid systems modelers. HSCC 2014: 71-82 - 2012
- [j13]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3): 877-910 (2012) - [c30]Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet:
Application of interface theories to the separate compilation of synchronous programs. CDC 2012: 7252-7258 - [c29]Benoît Caillaud, Jean-Baptiste Raclet:
Ensuring Reachability by Design. ICTAC 2012: 213-227 - 2011
- [j12]S. Laurie Ricker, Benoît Caillaud:
Mind the gap: Expanding communication options in decentralized discrete-event control. Autom. 47(11): 2364-2372 (2011) - [j11]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): 1-32 (2011) - [j10]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): 119-149 (2011) - [j9]Benoît Caillaud, Benoît Delahaye
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011) - [c28]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: 137-148 - [c27]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70 - [e3]Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi:
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4387-1 [contents] - 2010
- [c26]Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232 - [c25]Albert Benveniste, Benoît Caillaud, Marc Pouzet:
The fundamentals of hybrid systems modelers. CDC 2010: 4180-4185 - [c24]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: 32-46 - [c23]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: 123-132 - [e2]Axel Legay, Benoît Caillaud:
Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010. EPTCS 46, 2010 [contents]
2000 – 2009
- 2009
- [c22]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
:
Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127 - [c21]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
:
Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96 - [c20]S. Laurie Ricker, Benoît Caillaud:
Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers. ECC 2009: 2602-2607 - 2008
- [j8]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): 43:1-43:36 (2008) - [i2]Benoît Delahaye, Benoît Caillaud:
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts. CoRR abs/0811.1151 (2008) - 2007
- [j7]Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski
, Benoît Caillaud, Philippe Darondeau:
Concurrent Secrets. Discret. Event Dyn. Syst. 17(4): 425-446 (2007) - [j6]Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Informaticae 78(1): 131-159 (2007) - [c19]S. Laurie Ricker, Benoît Caillaud:
Mind the gap: Expanding communication options in decentralized discrete-event control. CDC 2007: 5924-5929 - [c18]Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone
, Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225 - [i1]Albert Benveniste, Benoît Caillaud, Roberto Passerone:
A Generic Model of Contracts for Embedded Systems. CoRR abs/0706.1456 (2007) - 2006
- [j5]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. Formal Methods Syst. Des. 28(2): 111-130 (2006) - [c17]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: 152-160 - 2005
- [c16]Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57 - [c15]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. EMSOFT 2005: 255-263 - [c14]Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285 - [c13]Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev
:
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. FMGALS@MEMOCODE 2005: 81-103 - 2004
- [c12]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. ACSD 2004: 67-78 - [c11]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: 220-229 - [c10]Jacques Klein
, Benoît Caillaud, Loïc Hélouët:
Merging Scenarios. FMICS 2004: 193-215 - 2003
- [c9]Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski
, Lucia Pomello:
Modular System Development with Pullbacks. ICATPN 2003: 140-160 - [c8]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: 1-16 - 2002
- [j4]Éric Badouel, Benoît Caillaud, Philippe Darondeau:
Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects Comput. 13(6): 447-470 (2002) - [j3]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): 377-402 (2002) - [c7]Benoît Caillaud, Anca Muscholl:
Preface. VISS@ETAPS 2002: 100 - [e1]Benoît Caillaud, Anca Muscholl:
Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002. Electronic Notes in Theoretical Computer Science 65(7), Elsevier 2002 [contents] - 2000
- [j2]Albert Benveniste, Benoît Caillaud, Paul Le Guernic:
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inf. Comput. 163(1): 125-171 (2000) - [c6]Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes:
HMSCs as Partial Specifications ... with PNs as Completions. MOVEP 2000: 125-152
1990 – 1999
- 1999
- [j1]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): 526-538 (1999) - [c5]Albert Benveniste, Benoît Caillaud, Paul Le Guernic:
From Synchrony to Asynchrony. CONCUR 1999: 162-177 - 1998
- [c4]Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon:
BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205 - 1995
- [c3]Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval:
Measuring Concurrency of Regular Distributed Computations. TAPSOFT 1995: 711-725 - 1993
- [c2]Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval:
Correctness of Automated Distribution of Sequential Programs. PARLE 1993: 517-528 - 1991
- [c1]Benoît Caillaud:
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. FORTE 1991: 329-344
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint