Professionalizing the organization A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ... | 377 | 1987 |
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 | 221 | 2007 |
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 | 160 | 2000 |
Concurrent secrets E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau Discrete Event Dynamic Systems 17 (4), 425-446, 2007 | 137 | 2007 |
From synchrony to asynchrony A Benveniste, B Caillaud, P Le Guernic International Conference on Concurrency Theory, 162-177, 1999 | 137 | 1999 |
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 | 125 | 2011 |
Concurrency in synchronous systems D Potop-Butucaru, B Caillaud, A Benveniste Formal Methods in System Design 28 (2), 111-130, 2006 | 119 | 2006 |
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 | 95 | 2012 |
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 | 83 | 2010 |
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 | 79 | 2009 |
Correct-by-construction asynchronous implementation of modular synchronous specifications D Potop-Butucaru, B Caillaud Fundamenta Informaticae 78 (1), 131-159, 2007 | 77 | 2007 |
Distributing finite automata through Petri net synthesis E Badouel, B Caillaud, P Darondeau Formal Aspects of Computing 13 (6), 447-470, 2002 | 70 | 2002 |
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 | 68 | 2009 |
Constraint markov chains B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski Theoretical Computer Science 412 (34), 4373-4404, 2011 | 50 | 2011 |
Composing heterogeneous reactive systems A Benveniste, B Caillaud, LP Carloni, P Caspi, ... ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-36, 2008 | 49 | 2008 |
Synthesis and control of discrete event systems B Caillaud, P Darondeau, L Lavagno, X Xie Springer Science & Business Media, 2002 | 49 | 2002 |
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 | 46 | 2010 |
Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015 | 45 | 2015 |
A generic model of contracts for embedded systems A Benveniste, B Caillaud, R Passerone arXiv preprint arXiv:0706.1456, 2007 | 45 | 2007 |