Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. |
|
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 |
|
2011
|
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P. |
|
2002
|
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos |
|
2008
|
Non-standard semantics of hybrid systems modelers. Zbl 1244.68050
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoît; Pouzet, Marc |
|
2012
|
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej |
|
2011
|
Noisy observation in adverse selection models. Zbl 0764.90002
Caillaud, B.; Guesnerie, R.; Rey, P. |
|
1992
|
Compositionality in dataflow synchronous languages: Specification and distributed code generation. Zbl 1003.68068
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul |
|
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 |
|
2011
|
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert |
|
2006
|
Mind the gap: expanding communication options in decentralized discrete-event control. Zbl 1228.93078
Ricker, Laurie; Caillaud, Benoît |
|
2011
|
HMSCs as partial specifications . . . with PNs as completions. Zbl 0985.68037
Caillaud, Benoit; Darondeau, Philippe; Hélouët, Loïc; Lesventes, Gilles |
|
2001
|
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît |
|
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 |
|
2002
|
Synthesis and control of discrete event systems. Zbl 0984.00042
|
|
2002
|
From synchrony to asynchrony. Zbl 0939.68079
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul |
|
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 |
|
2019
|
Ensuring reachability by design. Zbl 1362.68164
Caillaud, Benoît; Raclet, Jean-Baptiste |
|
2012
|
Structural analysis of multi-mode DAE systems. Zbl 1369.93149
Benveniste, Albert; Caillaud, Benoit; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc |
|
2017
|
Modular system development with pullbacks. Zbl 1274.68220
Bednarczyk, Marek A.; Bernardinello, Luca; Caillaud, Benoît; Pawłowski, Wiesław; Pomello, Lucia |
|
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 |
|
2014
|
Implicit structural analysis of multimode DAE systems. Zbl 07300861
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan |
|
2020
|
Implicit structural analysis of multimode DAE systems. Zbl 07300861
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan |
|
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 |
|
2019
|
Structural analysis of multi-mode DAE systems. Zbl 1369.93149
Benveniste, Albert; Caillaud, Benoit; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc |
|
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 |
|
2014
|
Non-standard semantics of hybrid systems modelers. Zbl 1244.68050
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoît; Pouzet, Marc |
|
2012
|
Ensuring reachability by design. Zbl 1362.68164
Caillaud, Benoît; Raclet, Jean-Baptiste |
|
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 |
|
2011
|
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej |
|
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 |
|
2011
|
Mind the gap: expanding communication options in decentralized discrete-event control. Zbl 1228.93078
Ricker, Laurie; Caillaud, Benoît |
|
2011
|
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos |
|
2008
|
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. |
|
2007
|
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît |
|
2007
|
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert |
|
2006
|
Modular system development with pullbacks. Zbl 1274.68220
Bednarczyk, Marek A.; Bernardinello, Luca; Caillaud, Benoît; Pawłowski, Wiesław; Pomello, Lucia |
|
2003
|
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P. |
|
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 |
|
2002
|
Synthesis and control of discrete event systems. Zbl 0984.00042
|
|
2002
|
HMSCs as partial specifications . . . with PNs as completions. Zbl 0985.68037
Caillaud, Benoit; Darondeau, Philippe; Hélouët, Loïc; Lesventes, Gilles |
|
2001
|
Compositionality in dataflow synchronous languages: Specification and distributed code generation. Zbl 1003.68068
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul |
|
2000
|
From synchrony to asynchrony. Zbl 0939.68079
Benveniste, Albert; Caillaud, Benoît; Le Guernic, Paul |
|
1999
|
Noisy observation in adverse selection models. Zbl 0764.90002
Caillaud, B.; Guesnerie, R.; Rey, P. |
|
1992
|