| Professionalizing the organization A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ... | 379 | 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 | 200 | 2007 |
| Contracts for system design A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... | 177* | 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 | 153 | 2000 |
| From synchrony to asynchrony A Benveniste, B Caillaud, P Le Guernic International Conference on Concurrency Theory, 162-177, 1999 | 137 | 1999 |
| Concurrent secrets E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau Discrete Event Dynamic Systems 17 (4), 425-446, 2007 | 132 | 2007 |
| Concurrency in synchronous systems D Potop-Butucaru, B Caillaud, A Benveniste Formal Methods in System Design 28 (2), 111-130, 2006 | 114 | 2006 |
| 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 | 112 | 2011 |
| 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 | 94 | 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 | 77 | 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 | 76 | 2009 |
| Correct-by-construction asynchronous implementation of modular synchronous specifications D Potop-Butucaru, B Caillaud Fundamenta Informaticae 78 (1), 131-159, 2007 | 75 | 2007 |
| 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 | 67 | 2009 |
| Distributing finite automata through Petri net synthesis E Badouel, B Caillaud, P Darondeau Formal Aspects of Computing 13 (6), 447-470, 2002 | 62 | 2002 |
| 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 |
| Constraint markov chains B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski Theoretical Computer Science 412 (34), 4373-4404, 2011 | 48 | 2011 |
| 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 | 48 | 2010 |
| Synthesis and control of discrete event systems B Caillaud, P Darondeau, L Lavagno, X Xie Springer Science & Business Media, 2002 | 45 | 2002 |
| Tag machines A Benveniste, B Caillaud, LP Carloni, A Sangiovanni-Vincentelli Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 42 | 2005 |
| A generic model of contracts for embedded systems A Benveniste, B Caillaud, R Passerone arXiv preprint arXiv:0706.1456, 2007 | 40 | 2007 |
Roberto PasseroneUniversity of TrentoDirección de correo verificada de unitn.it
