Benoît Caillaud

2008
27	EE	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)
26	EE	Benoît Delahaye, Benoît Caillaud: A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR abs/0811.1151: (2008)
2007
25	EE	Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
24	EE	Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
23	EE	Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
22	EE	Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Inform. 78(1): 131-159 (2007)
2006
21	EE	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
20	EE	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)
19	EE	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
2005
18	EE	Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57
17	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
16	EE	Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285
15	EE	Jacques Klein, Benoît Caillaud, Loïc Hélouët: Merging Scenarios. Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005)
2004
14	EE	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
13	EE	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
12	EE	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
11	EE	Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
2002
10	EE	Benoît Caillaud, Anca Muscholl: Preface. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
9	EE	Eric 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
7	EE	Benoî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
5	EE	Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
1998
4	EE	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
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

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

Colors in the list of coauthors