Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Benoît Caillaud
2010 – today
- 2012
[j16]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)- [c25]Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet: Application of interface theories to the separate compilation of synchronous programs. CDC 2012: 7252-7258
- [c24]
- 2011
- [j15]Laurie Ricker, Benoît Caillaud: Mind the gap: Expanding communication options in decentralized discrete-event control. Automatica 47(11): 2364-2372 (2011)
- [j14]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 in System Design 38(1): 1-32 (2011)
- [j13]Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: A Modal Interface Theory for Component-based Design. Fundam. Inform. 108(1-2): 119-149 (2011)
- [j12]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)
- [c23]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
- [c22]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70
- [e2]Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi (Eds.): 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. IEEE 2011, ISBN 978-0-7695-4387-1
- 2010
- [c21]Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232
- [c20]Albert Benveniste, Benoît Caillaud, Marc Pouzet: The fundamentals of hybrid systems modelers. CDC 2010: 4180-4185
- [c19]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
- [c18]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
- [e1]Axel Legay, Benoît Caillaud (Eds.): Proceedings Foundations for Interface Technologies. EPTCS 46, 2010
2000 – 2009
- 2009
- [c17]Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone: Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
- [c16]Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
- 2008
- [j11]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4) (2008)
- [i2]Benoît Delahaye, Benoît Caillaud: A Model for Probabilistic Reasoning on Assume/Guarantee Contracts. CoRR abs/0811.1151 (2008)
- 2007
- [j10]Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
- [j9]Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Inform. 78(1): 131-159 (2007)
- [c15]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
- [j8]Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev: Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. Electr. Notes Theor. Comput. Sci. 146(2): 81-103 (2006)
- [j7]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
- [c14]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
- [j6]Jacques Klein, Benoît Caillaud, Loïc Hélouët: Merging Scenarios. Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005)
- [c13]Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57
- [c12]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
- [c11]Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285
- 2004
- [c10]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
- [c9]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
- 2003
- [c8]Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
- [c7]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
- [j5]
- [j4]Eric Badouel, Benoît Caillaud, Philippe Darondeau: Distributing Finite Automata Through Petri Net Synthesis. Formal Asp. 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. Mathematical Structures in Computer Science 12(4): 377-402 (2002)
- 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. Annales 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team