Suivre
Benoît Caillaud
Benoît Caillaud
INRIA / IRISA / U. Rennes
Adresse e-mail validée de inria.fr
Titre
Citée par
Citée par
Année
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018
3882018
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
2712007
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17, 425-446, 2007
1772007
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
1702000
From synchrony to asynchrony
A Benveniste, B Caillaud, P Le Guernic
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
1551999
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
1342011
Concurrency in synchronous systems
D Potop-Butucaru, B Caillaud, A Benveniste
Formal Methods in System Design 28, 111-130, 2006
1332006
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
1272019
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
1062012
Distributing finite automata through Petri net synthesis
E Badouel, B Caillaud, P Darondeau
Formal Aspects of Computing 13, 447-470, 2002
872002
Correct-by-construction asynchronous implementation of modular synchronous specifications
D Potop-Butucaru, B Caillaud
Fundamenta Informaticae 78 (1), 131-159, 2007
852007
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
822009
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
712015
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
692009
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
542011
Composing heterogeneous reactive systems
A Benveniste, B Caillaud, LP Carloni, P Caspi, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-36, 2008
542008
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
532010
A generic model of contracts for embedded systems
A Benveniste, B Caillaud, R Passerone
arXiv preprint arXiv:0706.1456, 2007
522007
Tag machines
A Benveniste, B Caillaud, LP Carloni, A Sangiovanni-Vincentelli
Proceedings of the 5th ACM international conference on Embedded software …, 2005
482005
Synthesis and control of discrete event systems
B Caillaud
Springer Science & Business Media, 2002
482002
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20