dblp.uni-trier.dewww.uni-trier.de

Benoît Caillaud

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
27EEAlbert 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)
26EEBenoît Delahaye, Benoît Caillaud: A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR abs/0811.1151: (2008)
2007
25EEAlbert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
24EEAlbert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
23EEEric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
22EEDumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Inform. 78(1): 131-159 (2007)
2006
21EEAlbert 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
20EESohini 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)
19EEDumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
2005
18EEDumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57
17EEAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
16EEJean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285
15EEJacques Klein, Benoît Caillaud, Loïc Hélouët: Merging Scenarios. Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005)
2004
14EEDumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
13EEAlbert 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
12EEAlbert 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
11EEMarek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
2002
10EEBenoît Caillaud, Anca Muscholl: Preface. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
9EEEric Badouel, Benoît Caillaud, Philippe Darondeau: Distributing Finite Automata Through Petri Net Synthesis. Formal Asp. Comput. 13(6): 447-470 (2002)
8 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
7EEBenoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes: HMSCs as Partial Specifications ... with PNs as Completions. MOVEP 2000: 125-152
6 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)
1999
5EEAlbert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
1998
4EEJean-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
3 Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Measuring Concurrency of Regular Distributed Computations. TAPSOFT 1995: 711-725
1993
2 Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Correctness of Automated Distribution of Sequential Programs. PARLE 1993: 517-528
1991
1 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

1Eric Badouel [9] [23]
2Cyrille Bareau [2] [3]
3Marek A. Bednarczyk [11] [23]
4Albert Benveniste [4] [5] [6] [12] [13] [14] [17] [19] [21] [24] [25] [27]
5Luca Bernardinello [11]
6Andrzej M. Borzyszkowski [23]
7Zakaria Bouziane [4]
8Hubert Canon [4]
9Luca P. Carloni [12] [13] [17] [21] [27]
10Paul Caspi [12] [13] [21] [27]
11Philippe Darondeau [7] [9] [23]
12Sohini Dasgupta [20]
13Benoît Delahaye [26]
14Alberto Ferrari [25]
15Paul Le Guernic [5] [6]
16Loïc Hélouët [7] [8] [15]
17Claude Jard [2] [3] [4] [8]
18Jacques Klein [15]
19Gilles Lesventes [7]
20Leonardo Mangeruca [25]
21Anca Muscholl [10]
22Julien Ouy [16]
23Roberto Passerone [24] [25]
24Wieslaw Pawlowski [11]
25Lucia Pomello [11]
26Dumitru Potop-Butucaru [14] [16] [18] [19] [20] [22]
27Alberto L. Sangiovanni-Vincentelli [12] [13] [17] [21] [27]
28Christos Sofronis [25]
29Jean-Pierre Talpin [4] [16]
30René Thoraval [2] [3]
31Stavros Tripakis [21]
32Alexandre Yakovlev [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)