Benoît Caillaud

	2009
28		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
27		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		Benoît Delahaye, Benoît Caillaud: A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR abs/0811.1151: (2008)
	2007
25		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		Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
23		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		Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Inform. 78(1): 131-159 (2007)
	2006
21		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		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		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
	2005
18		Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57
17		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
16		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		Jacques Klein, Benoît Caillaud, Loïc Hélouët: Merging Scenarios. Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005)
	2004
14		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
13		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		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		Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
	2002
10		Benoît Caillaud, Anca Muscholl: Preface. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
9		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		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		Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
	1998
4		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] [28]
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] [28]
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	Axel Legay	[28]
20	Gilles Lesventes	[7]
21	Leonardo Mangeruca	[25]
22	Anca Muscholl	[10]
23	Julien Ouy	[16]
24	Roberto Passerone	[24] [25] [28]
25	Wieslaw Pawlowski	[11]
26	Lucia Pomello	[11]
27	Dumitru Potop-Butucaru	[14] [16] [18] [19] [20] [22]
28	Jean-Baptiste Raclet	[28]
29	Alberto L. Sangiovanni-Vincentelli	[12] [13] [17] [21] [27]
30	Christos Sofronis	[25]
31	Jean-Pierre Talpin	[4] [16]
32	René Thoraval	[2] [3]
33	Stavros Tripakis	[21]
34	Alexandre Yakovlev	[20]

Colors in the list of coauthors