Follow
Benoît Caillaud
Benoît Caillaud
INRIA / IRISA / U. Rennes
Verified email at inria.fr
Title
Cited by
Cited by
Year
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
4321987
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria, 2012
294*2012
Multiple viewpoint contract-based specification and design
A Benveniste, B Caillaud, A Ferrari, L Mangeruca, R Passerone, ...
International Symposium on Formal Methods for Components and Objects, 200-225, 2007
2382007
Compositionality in dataflow synchronous languages: Specification and distributed code generation
A Benveniste, B Caillaud, P Le Guernic
Information and Computation 163 (1), 125-171, 2000
1642000
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17 (4), 425-446, 2007
1632007
From synchrony to asynchrony
A Benveniste, B Caillaud, PL Guernic
International Conference on Concurrency Theory, 162-177, 1999
1441999
A modal interface theory for component-based design
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Fundamenta Informaticae 108 (1-2), 119-149, 2011
1332011
Concurrency in synchronous systems
D Potop-Butucaru, B Caillaud, A Benveniste
Formal Methods in System Design 28 (2), 111-130, 2006
1272006
Non-standard semantics of hybrid systems modelers
A Benveniste, T Bourke, B Caillaud, M Pouzet
Journal of Computer and System Sciences 78 (3), 877-910, 2012
982012
Correct-by-construction asynchronous implementation of modular synchronous specifications
D Potop-Butucaru, B Caillaud
Fifth International Conference on Application of Concurrency to System …, 2005
852005
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A Legay
Formal Techniques for Distributed Systems, 32-46, 2010
842010
Modal interfaces: unifying interface automata and modal specifications
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Proceedings of the seventh ACM international conference on Embedded software …, 2009
832009
Distributing finite automata through Petri net synthesis
E Badouel, B Caillaud, P Darondeau
Formal Aspects of Computing 13 (6), 447-470, 2002
832002
Why are modalities good for interface theories?
JB Raclet, E Badouel, A Benveniste, B Caillaud, R Passerone
2009 Ninth International Conference on Application of Concurrency to System …, 2009
702009
Learning procedural skills with a virtual reality simulator: An acceptability study
MS Bracq, E Michinov, B Arnaldi, B Caillaud, B Gibaud, V Gouranton, ...
Nurse education today 79, 153-160, 2019
662019
Synthesis and control of discrete event systems
B Caillaud, P Darondeau, L Lavagno, X Xie
Springer Science & Business Media, 2002
602002
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
582015
Composing heterogeneous reactive systems
A Benveniste, B Caillaud, LP Carloni, P Caspi, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-36, 2008
522008
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
492011
Compositional design methodology with constraint Markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
482010
The system can't perform the operation now. Try again later.
Articles 1–20