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
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
3771987
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
2212007
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria, 2012
219*2012
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
1602000
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17 (4), 425-446, 2007
1372007
From synchrony to asynchrony
A Benveniste, B Caillaud, P Le Guernic
International Conference on Concurrency Theory, 162-177, 1999
1371999
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
1252011
Concurrency in synchronous systems
D Potop-Butucaru, B Caillaud, A Benveniste
Formal Methods in System Design 28 (2), 111-130, 2006
1192006
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
952012
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
832010
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
792009
Correct-by-construction asynchronous implementation of modular synchronous specifications
D Potop-Butucaru, B Caillaud
Fundamenta Informaticae 78 (1), 131-159, 2007
772007
Distributing finite automata through Petri net synthesis
E Badouel, B Caillaud, P Darondeau
Formal Aspects of Computing 13 (6), 447-470, 2002
702002
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
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
502011
Composing heterogeneous reactive systems
A Benveniste, B Caillaud, LP Carloni, P Caspi, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-36, 2008
492008
Synthesis and control of discrete event systems
B Caillaud, P Darondeau, L Lavagno, X Xie
Springer Science & Business Media, 2002
492002
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
462010
Contracts for systems design: Theory
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria Rennes Bretagne Atlantique; INRIA, 2015
452015
A generic model of contracts for embedded systems
A Benveniste, B Caillaud, R Passerone
arXiv preprint arXiv:0706.1456, 2007
452007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20