Benoît Caillaud

	2012
43		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)
	2011
42		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 2011
41		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
40		Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70
39		Laurie Ricker, Benoît Caillaud: Mind the gap: Expanding communication options in decentralized discrete-event control. Automatica 47(11): 2364-2372 (2011)
38		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)
37		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)
36		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)
	2010
35		Axel Legay, Benoît Caillaud: Proceedings Foundations for Interface Technologies FIT 2010
34		Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232
33		Albert Benveniste, Benoît Caillaud, Marc Pouzet: The fundamentals of hybrid systems modelers. CDC 2010: 4180-4185
32		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
31		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
	2009
30		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone: Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
29		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
28		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)
27		Benoît Delahaye, Benoît Caillaud: A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR abs/0811.1151: (2008)
	2007
26		Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
25		Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
24		Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
23		Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundam. Inform. 78(1): 131-159 (2007)
	2006
22		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
21		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)
20		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
	2005
19		Dumitru Potop-Butucaru, Benoît Caillaud: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. ACSD 2005: 48-57
18		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
17		Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud: From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285
16		Jacques Klein, Benoît Caillaud, Loïc Hélouët: Merging Scenarios. Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005)
	2004
15		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
14		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
13		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
12		Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
	2002
11		Benoît Caillaud, Anca Muscholl: Preface. Electr. Notes Theor. Comput. Sci. 65(7): 100 (2002)
10		Eric Badouel, Benoît Caillaud, Philippe Darondeau: Distributing Finite Automata Through Petri Net Synthesis. Formal Asp. Comput. 13(6): 447-470 (2002)
9		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
8		Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes: HMSCs as Partial Specifications ... with PNs as Completions. MOVEP 2000: 125-152
7		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
6		Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
5		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)
	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	[10] [24] [29] [30] [37]
2	Cyrille Bareau	[2] [3]
3	Ananda Basu	[32]
4	Marek A. Bednarczyk	[12] [24]
5	Saddek Bensalem	[32]
6	Albert Benveniste	[4] [6] [7] [13] [14] [15] [18] [20] [22] [25] [26] [28] [29] [30] [33] [37] [40] [41] [43]
7	Luca Bernardinello	[12]
8	Andrzej M. Borzyszkowski	[24]
9	Timothy Bourke	[40] [41] [43]
10	Zakaria Bouziane	[4]
11	Marius Bozga	[32]
12	Hubert Canon	[4]
13	Luca P. Carloni	[13] [14] [18] [22] [28]
14	Josep Carmona	[42]
15	Paul Caspi	[13] [14] [22] [28]
16	Philippe Darondeau	[8] [10] [24]
17	Sohini Dasgupta	[21]
18	Benoît Delahaye	[27] [31] [32] [34] [36] [38]
19	Alberto Ferrari	[26]
20	Alain Le Guennec	[5]
21	Paul Le Guernic	[6] [7]
22	Loïc Hélouët	[8] [9] [16]
23	Kunihiko Hiraishi	[42]
24	Claude Jard	[2] [3] [4] [5] [9]
25	Jean-Marc Jézéquel	[5]
26	Jacques Klein	[16]
27	Kim Guldstrand Larsen (Kim G. Larsen)	[31] [36]
28	Axel Legay	[29] [31] [32] [34] [35] [36] [37] [38]
29	Gilles Lesventes	[8]
30	Leonardo Mangeruca	[26]
31	Anca Muscholl	[11]
32	Julien Ouy	[17]
33	Roberto Passerone	[25] [26] [29] [30] [37]
34	Wieslaw Pawlowski	[12]
35	Mikkel L. Pedersen	[31] [36]
36	Lucia Pomello	[12]
37	Dumitru Potop-Butucaru	[15] [17] [19] [20] [21] [23]
38	Marc Pouzet	[33] [40] [41] [43]
39	Jean-Baptiste Raclet	[29] [30] [37]
40	Laurie Ricker	[39]
41	Alberto L. Sangiovanni-Vincentelli	[13] [14] [18] [22] [28]
42	Christos Sofronis	[26]
43	Jean-Pierre Talpin	[4] [17]
44	René Thoraval	[2] [3]
45	Stavros Tripakis	[22]
46	Andrzej Wasowski	[31] [36]
47	Alexandre Yakovlev (Alex Yakovlev)	[21]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page