| 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 | 426 | 2018 |
| 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 | 277 | 2007 |
| Concurrent secrets E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau Discrete Event Dynamic Systems 17, 425-446, 2007 | 191 | 2007 |
| 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 | 168 | 2000 |
| 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 | 153 | 2019 |
| From synchrony to asynchrony A Benveniste, B Caillaud, P Le Guernic CONCUR99 Concurrency Theory: 10th International Conference Eindhoven, The
, 1999 | 153 | 1999 |
| Concurrency in synchronous systems D Potop-Butucaru, B Caillaud, A Benveniste Formal Methods in System Design 28, 111-130, 2006 | 133 | 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 | 131 | 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 | 106 | 2012 |
| Correct-by-construction asynchronous implementation of modular synchronous specifications D Potop-Butucaru, B Caillaud Fundamenta Informaticae 78 (1), 131-159, 2007 | 87 | 2007 |
| Distributing finite automata through Petri net synthesis E Badouel, B Caillaud, P Darondeau Formal Aspects of Computing 13, 447-470, 2002 | 87 | 2002 |
| 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 | 81 | 2009 |
| Contracts for systems design: Theory A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Inria Rennes Bretagne Atlantique; INRIA, 2015 | 74 | 2015 |
| 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 |
| Synthesis and control of discrete event systems B Caillaud Springer Science & Business Media, 2002 | 60 | 2002 |
| Constraint markov chains B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski Theoretical Computer Science 412 (34), 4373-4404, 2011 | 55 | 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 | 55 | 2010 |
| Composing heterogeneous reactive systems A Benveniste, B Caillaud, LP Carloni, P Caspi, ... ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-36, 2008 | 54 | 2008 |
| A generic model of contracts for embedded systems A Benveniste, B Caillaud, R Passerone arXiv preprint arXiv:0706.1456, 2007 | 52 | 2007 |
| Tag machines A Benveniste, B Caillaud, LP Carloni, A Sangiovanni-Vincentelli Proceedings of the 5th ACM international conference on Embedded software
, 2005 | 48 | 2005 |
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoPatvirtintas el. paštas unitn.it
