×

zbMATH — the first resource for mathematics

Caillaud, Benoît

Compute Distance To:
Author ID: caillaud.benoit Recent zbMATH articles by "Caillaud, Benoît"
Published as: Caillaud, Benoît; Caillaud, Benoit; Caillaud, B.
Documents Indexed: 26 Publications since 1992, including 2 Books

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 104 times in 87 Documents Cited by Year
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
18
2007
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
18
2011
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
9
2011
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
9
2008
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P.
7
2002
Non-standard semantics of hybrid systems modelers. Zbl 1244.68050
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoît; Pouzet, Marc
7
2012
Noisy observation in adverse selection models. Zbl 0764.90002
Caillaud, B.; Guesnerie, R.; Rey, P.
6
1992
Compositionality in dataflow synchronous languages: Specification and distributed code generation. Zbl 1003.68068
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul
5
2000
Mind the gap: expanding communication options in decentralized discrete-event control. Zbl 1228.93078
Ricker, Laurie; Caillaud, Benoît
4
2011
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert
4
2006
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Zbl 1210.93068
Delahaye, Benoît; Caillaud, Benoît; Legay, Axel
4
2011
HMSCs as partial specifications . . . with PNs as completions. Zbl 0985.68037
Caillaud, Benoit; Darondeau, Philippe; Hélouët, Loïc; Lesventes, Gilles
3
2001
Ensuring reachability by design. Zbl 1362.68164
Caillaud, Benoît; Raclet, Jean-Baptiste
2
2012
From synchrony to asynchrony. Zbl 0939.68079
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul
2
1999
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît
2
2007
A type-based analysis of causality loops in hybrid systems modelers. Zbl 1362.68282
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc
1
2014
Synthesis and control of discrete event systems. Zbl 0984.00042
Caillaud, Benoît (ed.); Darondeau, Philippe (ed.); Lavagno, Luciano (ed.); Xie, Xiaolan (ed.)
1
2002
An event structure based semantics for high-level message sequence charts. Zbl 1009.68070
Hélouët, Loïc; Jard, Claude; Caillaud, Benoît
1
2002
Modular system development with pullbacks. Zbl 1274.68220
Bednarczyk, Marek A.; Bernardinello, Luca; Caillaud, Benoît; Pawłowski, Wiesław; Pomello, Lucia
1
2003
A type-based analysis of causality loops in hybrid systems modelers. Zbl 1362.68282
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc
1
2014
Non-standard semantics of hybrid systems modelers. Zbl 1244.68050
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoît; Pouzet, Marc
7
2012
Ensuring reachability by design. Zbl 1362.68164
Caillaud, Benoît; Raclet, Jean-Baptiste
2
2012
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
18
2011
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
9
2011
Mind the gap: expanding communication options in decentralized discrete-event control. Zbl 1228.93078
Ricker, Laurie; Caillaud, Benoît
4
2011
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Zbl 1210.93068
Delahaye, Benoît; Caillaud, Benoît; Legay, Axel
4
2011
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
9
2008
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
18
2007
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît
2
2007
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert
4
2006
Modular system development with pullbacks. Zbl 1274.68220
Bednarczyk, Marek A.; Bernardinello, Luca; Caillaud, Benoît; Pawłowski, Wiesław; Pomello, Lucia
1
2003
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P.
7
2002
Synthesis and control of discrete event systems. Zbl 0984.00042
Caillaud, Benoît; Darondeau, Philippe; Lavagno, Luciano; Xie, Xiaolan
1
2002
An event structure based semantics for high-level message sequence charts. Zbl 1009.68070
Hélouët, Loïc; Jard, Claude; Caillaud, Benoît
1
2002
HMSCs as partial specifications . . . with PNs as completions. Zbl 0985.68037
Caillaud, Benoit; Darondeau, Philippe; Hélouët, Loïc; Lesventes, Gilles
3
2001
Compositionality in dataflow synchronous languages: Specification and distributed code generation. Zbl 1003.68068
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul
5
2000
From synchrony to asynchrony. Zbl 0939.68079
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul
2
1999
Noisy observation in adverse selection models. Zbl 0764.90002
Caillaud, B.; Guesnerie, R.; Rey, P.
6
1992
all top 5

Cited by 173 Authors

8 Legay, Axel
5 Delahaye, Benoît
5 Marchand, Hervé
4 Caillaud, Benoît
4 Larsen, Kim Guldstrand
4 Lüttgen, Gerald
3 Benveniste, Albert
3 Best, Eike
3 Devillers, Raymond
3 Fahrenberg, Uli
3 Fendrich, Sascha
3 Genest, Blaise
3 Giua, Alessandro
3 Hadjicostis, Christoforos N.
3 Kwiatkowska, Marta Z.
3 Lafortune, Stéphane
3 Li, Zhiwu
3 Schlachter, Uli
3 Vogler, Walter
2 Bauer, Sebastian S.
2 Bourke, Timothy
2 Brogliato, Bernard
2 Bujtor, Ferenc
2 Cavalcanti, Ana
2 Cimatti, Alessandro
2 Darondeau, Philippe
2 Forejt, Vojtěch
2 Foster, Simon
2 Hélouët, Loïc
2 Hennicker, Rolf
2 Jonsson, Bengt
2 Křetínský, Jan
2 Lin, Feng
2 Pinchinat, Sophie
2 Pouzet, Marc
2 Ricker, Laurie
2 Sangiovanni-Vincentelli, Alberto L.
2 Seatzu, Carla
2 Thiagarajan, Pazhamaneri Subramaniam
2 Tonetta, Stefano
2 Tong, Yin
2 Wang, Weilin
2 Wąsowski, Andrzej
2 Wimmel, Harro
2 Wirsing, Martin
2 Woodcock, James C. P.
2 Wu, Yi-Chin
2 Yin, Xiang
1 Agrawal, Manindra
1 Aguado, Joaquin
1 Akshay, S.
1 Åström, Karl Johan
1 Badouel, Eric
1 Baier, Christel
1 Beneš, Nikola
1 Bérard, Béatrice
1 Besnard, Loïc
1 Biondi, Fabrizio
1 Bodeveix, Jean-Paul
1 Bortolussi, Luca
1 Bozzelli, Laura
1 Broy, Manfred
1 Cai, Kai
1 Canham, Samuel
1 Carloni, Luca P.
1 Cassez, Franck
1 Chédor, Sébastien
1 Chen, Wen
1 Chilton, Chris
1 Cong, Xuya
1 Daafouz, Jamal
1 Damm, Werner
1 de Alfaro, Luca
1 Demasi, Ramiro
1 Dubreil, Jérémy
1 Erofeev, Evgeny
1 Fabre, Eric
1 Fahland, Dirk
1 Falcone, Yliès
1 Fanti, Maria Pia
1 Fares, Elie
1 Ferrucci, Luca
1 Filali, Mamoun
1 French, Tim
1 Fuhrmann, Insa
1 Gan, Yongmei
1 Gautier, Thierry
1 Gazagnaire, Thomas
1 Genadot, Alexandre
1 Girault, Alain
1 Gohari, Peyman
1 Goltz, Ursula
1 Gößler, Gregor
1 Hales, James
1 Hashtrudi-Zad, Shahin
1 Hiraishi, Kunihiko
1 Holík, Lukáš
1 Isberner, Malte
1 Jebali, Fatma
1 Katoen, Joost-Pieter
...and 73 more Authors

Citations by Year