Seguir
Benoît Caillaud
Benoît Caillaud
INRIA / IRISA / U. Rennes
Dirección de correo verificada de inria.fr
Título
Citado por
Citado por
Año
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
4052018
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
2742007
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17, 425-446, 2007
1812007
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
1682000
From synchrony to asynchrony
A Benveniste, B Caillaud, P Le Guernic
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
1531999
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
1392019
Concurrency in synchronous systems
D Potop-Butucaru, B Caillaud, A Benveniste
Formal Methods in System Design 28, 111-130, 2006
1332006
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
1312011
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
1052012
Correct-by-construction asynchronous implementation of modular synchronous specifications
D Potop-Butucaru, B Caillaud
Fundamenta Informaticae 78 (1), 131-159, 2007
872007
Distributing finite automata through Petri net synthesis
E Badouel, B Caillaud, P Darondeau
Formal Aspects of Computing 13, 447-470, 2002
872002
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
812009
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
722015
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
682009
Synthesis and control of discrete event systems
B Caillaud
Springer Science & Business Media, 2002
602002
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
552011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20