×
Edit Profile (opens in new tab)

Caillaud, Benoît

Co-Author Distance
Author ID: caillaud.benoit Recent zbMATH articles by "Caillaud, Benoît"
Published as: Caillaud, Benoît; Caillaud, Benoit; Caillaud, B.
Documents Indexed: 28 Publications since 1992
2 Contributions as Editor
Co-Authors: 41 Co-Authors with 28 Joint Publications
816 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
13 Benveniste, Albert
5 Pouzet, Marc
4 Darondeau, Philippe
3 Badouel, Eric
3 Bourke, Timothy
3 Legay, Axel
2 Bednarczyk, Marek A.
2 Delahaye, Benoît
2 Elmqvist, Hilding
2 Ghorbal, Khalil
2 Hélouët, Loïc
2 Jard, Claude
2 Le Guernic, Paul
2 Malandain, Mathias
2 Otter, Martin
2 Pagano, Bruno
2 Passerone, Roberto
2 Potop-Butucaru, Dumitru
2 Raclet, Jean-Baptiste
1 Bareau, Cyrille
1 Bernardinello, Luca
1 Borzyszkowski, Andrzej M.
1 Carloni, Luca P.
1 Caspi, Paul
1 Ferrari, Alberto
1 Gerstmayr, Johannes
1 Guesnerie, Roger
1 Larsen, Kim Guldstrand
1 Lavagno, Luciano
1 Lesventes, Gilles
1 Mangeruca, Leonardo
1 Muscholl, Anca
1 Pawłowski, Wies��aw
1 Pedersen, Mikkel Lykke
1 Pomello, Lucia
1 Ricker, Laurie
1 Sangiovanni-Vincentelli, Alberto L.
1 Sofronis, Christos
1 Thibault, Joan
1 Thoraval, René
1 Wąsowski, Andrzej
1 Xie, Xiaolan
all top 5

Serials

2 Formal Methods in System Design
2 Fundamenta Informaticae
1 Acta Mechanica
1 Automatica
1 Journal of Computer and System Sciences
1 The Review of Economic Studies
1 Theoretical Computer Science
1 Information and Computation
1 Formal Aspects of Computing
1 Mathematical Structures in Computer Science
1 Discrete Event Dynamic Systems
1 Electronic Notes in Theoretical Computer Science
1 Nonlinear Analysis. Hybrid Systems
all top 5

Fields

23 Computer science (68-XX)
10 Systems theory; control (93-XX)
3 Ordinary differential equations (34-XX)
2 General and overarching topics; collections (00-XX)
2 Mathematical logic and foundations (03-XX)
2 Operations research, mathematical programming (90-XX)
1 Category theory; homological algebra (18-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of deformable solids (74-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

22 Publications have been cited 169 times in 143 Documents Cited by ▼ Year ▼
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
31
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
27
2011
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P.
23
2002
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
16
2008
Non-standard semantics of hybrid systems modelers. Zbl 1244.68050
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoît; Pouzet, Marc
15
2012
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
13
2011
Noisy observation in adverse selection models. Zbl 0764.90002
Caillaud, B.; Guesnerie, R.; Rey, P.
7
1992
Compositionality in dataflow synchronous languages: Specification and distributed code generation. Zbl 1003.68068
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul
6
2000
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
6
2011
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert
6
2006
Mind the gap: expanding communication options in decentralized discrete-event control. Zbl 1228.93078
Ricker, Laurie; Caillaud, Benoît
5
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
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît
3
2007
An event structure based semantics for high-level message sequence charts. Zbl 1009.68070
Hélouët, Loïc; Jard, Claude; Caillaud, Benoît
2
2002
Synthesis and control of discrete event systems. Zbl 0984.00042
2
2002
From synchrony to asynchrony. Zbl 0939.68079
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul
2
1999
Multi-mode DAE models – challenges, theory and implementation. Zbl 1485.93206
Benveniste, Albert; Caillaud, Benoît; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc
2
2019
Ensuring reachability by design. Zbl 1362.68164
Caillaud, Benoît; Raclet, Jean-Baptiste
2
2012
Structural analysis of multi-mode DAE systems. Zbl 1369.93149
Benveniste, Albert; Caillaud, Benoit; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc
2
2017
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
Implicit structural analysis of multimode DAE systems. Zbl 07300861
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan
1
2020
Implicit structural analysis of multimode DAE systems. Zbl 07300861
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan
1
2020
Multi-mode DAE models – challenges, theory and implementation. Zbl 1485.93206
Benveniste, Albert; Caillaud, Benoît; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc
2
2019
Structural analysis of multi-mode DAE systems. Zbl 1369.93149
Benveniste, Albert; Caillaud, Benoit; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc
2
2017
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
15
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
27
2011
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
13
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
6
2011
Mind the gap: expanding communication options in decentralized discrete-event control. Zbl 1228.93078
Ricker, Laurie; Caillaud, Benoît
5
2011
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
16
2008
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
31
2007
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît
3
2007
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert
6
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.
23
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
2
2002
Synthesis and control of discrete event systems. Zbl 0984.00042
2
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
6
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.
7
1992
all cited Publications top 5 cited Publications
all top 5

Cited by 266 Authors

12 Tredup, Ronny
9 Legay, Axel
7 Benveniste, Albert
7 Caillaud, Benoît
7 Devillers, Raymond
6 Marchand, Hervé
5 Delahaye, Benoît
5 Larsen, Kim Guldstrand
5 Li, Zhiwu
5 Lüttgen, Gerald
4 Fahrenberg, Uli
4 Pouzet, Marc
4 Sangiovanni-Vincentelli, Alberto L.
4 Vogler, Walter
3 Best, Eike
3 Bourke, Timothy
3 Darondeau, Philippe
3 Erofeev, Evgeny
3 Fendrich, Sascha
3 Genest, Blaise
3 Giua, Alessandro
3 Hadjicostis, Christoforos N.
3 Hélouët, Loïc
3 Hennicker, Rolf
3 Křetínský, Jan
3 Kwiatkowska, Marta Z.
3 Lafortune, Stéphane
3 Ricker, Laurie
3 Schlachter, Uli
3 Talpin, Jean-Pierre
3 Wu, Naiqi
2 Baier, Christel
2 Balun, Jiří
2 Bauer, Sebastian S.
2 Beneš, Nikola
2 Bérard, Béatrice
2 Brogliato, Bernard
2 Broy, Manfred
2 Bujtor, Ferenc
2 Cai, Kai
2 Cassez, Franck
2 Cavalcanti, Ana
2 Cimatti, Alessandro
2 Damm, Werner
2 Dubreil, Jérémy
2 Forejt, Vojtěch
2 Foster, Simon
2 Jonsson, Bengt
2 Katoen, Joost-Pieter
2 Lin, Feng
2 Malandain, Mathias
2 Masopust, Tomáš
2 Nyberg, Mattias
2 Pinchinat, Sophie
2 Seatzu, Carla
2 Seshia, Sanjit Arunkumar
2 Suenaga, Kohei
2 Thiagarajan, Pazhamaneri Subramaniam
2 Tonetta, Stefano
2 Tong, Yin
2 Traonouez, Louis-Marie
2 Wang, Fei
2 Wang, Weilin
2 Wąsowski, Andrzej
2 Westman, Jonas
2 Wimmel, Harro
2 Wirsing, Martin
2 Woodcock, James C. P.
2 Wu, Yi-Chin
2 Yin, Xiang
2 Zamani, Majid
2 Zhang, Renyuan
1 Abate, Alessandro
1 Agrawal, Manindra
1 Aguado, Joaquin
1 Ahmed, Aishah
1 Akshay, S.
1 Alkhatib, Mohammad
1 Åström, Karl Johan
1 Badouel, Eric
1 Barcelos, Raphael Julio
1 Bartocci, Ezio
1 Basilio, João Carlos
1 Besnard, Loïc
1 Bidoit, Michel
1 Biondi, Fabrizio
1 Bodeveix, Jean-Paul
1 Bortolussi, Luca
1 Bournez, Olivier
1 Bouvier, Pierre
1 Boyer, Benoît
1 Bozzelli, Laura
1 Canham, Samuel
1 Cardelli, Luca
1 Carloni, Luca P.
1 Chakraborty, Souymodip
1 Chédor, Sébastien
1 Chen, Wen
1 Chilton, Chris
1 Cong, Xuya
...and 166 more Authors
all top 5

Cited in 28 Serials

15 Discrete Event Dynamic Systems
12 Theoretical Computer Science
11 Automatica
8 Acta Informatica
8 Formal Methods in System Design
7 Information and Computation
5 Fundamenta Informaticae
4 Journal of Logical and Algebraic Methods in Programming
3 Information Sciences
2 International Journal of Control
2 Journal of Computer and System Sciences
2 The Journal of Logic and Algebraic Programming
2 Nonlinear Analysis. Hybrid Systems
1 Systems & Control Letters
1 Science of Computer Programming
1 Circuits, Systems, and Signal Processing
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 European Journal of Applied Mathematics
1 Mathematical Structures in Computer Science
1 SIAM Review
1 ACM Transactions on Modeling and Computer Simulation
1 European Journal of Control
1 Soft Computing
1 Journal of the ACM
1 Journal of Applied Mathematics
1 Logical Methods in Computer Science
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
all top 5

Cited in 15 Fields

108 Computer science (68-XX)
50 Systems theory; control (93-XX)
15 Mathematical logic and foundations (03-XX)
9 Probability theory and stochastic processes (60-XX)
6 Operations research, mathematical programming (90-XX)
6 Information and communication theory, circuits (94-XX)
5 Ordinary differential equations (34-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
1 General and overarching topics; collections (00-XX)
1 General algebraic systems (08-XX)
1 Numerical analysis (65-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year