Benoît Caillaud
TytułCytowane przezRok
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
3601987
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
1922007
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
1492000
From synchrony to asynchrony
A Benveniste, B Caillaud, P Le Guernic
International Conference on Concurrency Theory, 162-177, 1999
1391999
Contracts for system design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Inria, 2012
131*2012
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17 (4), 425-446, 2007
1142007
Concurrency in synchronous systems
D Potop-Butucaru, B Caillaud, A Benveniste
Formal Methods in System Design 28 (2), 111-130, 2006
1122006
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
1042011
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
832012
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
752009
Correct-by-construction asynchronous implementation of modular synchronous specifications
D Potop-Butucaru, B Caillaud
Fundamenta Informaticae 78 (1), 131-159, 2007
722007
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
712010
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
642009
Distributing finite automata through Petri net synthesis
E Badouel, B Caillaud, P Darondeau
Formal Aspects of Computing 13 (6), 447-470, 2002
572002
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
472010
Composing heterogeneous reactive systems
A Benveniste, B Caillaud, LP Carloni, P Caspi, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 43, 2008
472008
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
432011
Synthesis and control of discrete event systems
B Caillaud, P Darondeau, L Lavagno, X Xie
Springer Science & Business Media, 2013
412013
Tag machines
A Benveniste, B Caillaud, LP Carloni, A Sangiovanni-Vincentelli
Proceedings of the 5th ACM international conference on Embedded software …, 2005
412005
A generic model of contracts for embedded systems
A Benveniste, B Caillaud, R Passerone
arXiv preprint arXiv:0706.1456, 2007
402007
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20