| Taming Dr. Frankenstein: Contract-based design for cyber-physical systems A Sangiovanni-Vincentelli, W Damm, R Passerone European journal of control 18 (3), 217-238, 2012 | 276 | 2012 |
| Automatic synthesis of interfaces between incompatible protocols R Passerone, JA Rowson, A Sangiovanni-Vincentelli Proceedings 1998 Design and Automation Conference. 35th DAC.(Cat. No …, 1998 | 225 | 1998 |
| A platform-based taxonomy for ESL design D Densmore, R Passerone IEEE Design & Test of Computers 23 (5), 359-374, 2006 | 222 | 2006 |
| Languages and tools for hybrid systems design LP Carloni, R Passerone, A Pinto now Publishers Inc, 2006 | 217 | 2006 |
| Multiple viewpoint contract-based specification and design A Benveniste, B Caillaud, A Ferrari, L Mangeruca, R Passerone, ... Formal Methods for Components and Objects, 200-225, 2008 | 206 | 2008 |
| 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 | 196* | 2018 |
| Convertibility verification and converter synthesis: Two faces of the same coin R Passerone, L De Alfaro, TA Henzinger, AL Sangiovanni-Vincentelli Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002 | 141 | 2002 |
| Development of wireless sensor network for combustible gas monitoring A Somov, A Baranov, A Savkin, D Spirjakin, A Spirjakin, R Passerone Sensors and Actuators A: Physical 171 (2), 398-405, 2011 | 132 | 2011 |
| Deployment and evaluation of a wireless sensor network for methane leak detection A Somov, A Baranov, D Spirjakin, A Spirjakin, V Sleptsov, R Passerone Sensors and Actuators A: Physical 202, 217-225, 2013 | 123 | 2013 |
| 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 | 117 | 2011 |
| 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 | 77 | 2009 |
| metroII: A design environment for cyber-physical systems A Davare, D Densmore, L Guo, R Passerone, AL Sangiovanni-Vincentelli, ... ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-31, 2013 | 69 | 2013 |
| 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 |
| A 33 W 6464 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation N Cottini, M Gottardi, N Massari, R Passerone, Z Smilansky IEEE Journal of Solid-State Circuits 48 (3), 850-863, 2013 | 61 | 2013 |
| Optimizing integrated circuit design through use of sequential timing information C Albrecht, P Chong, A Kuehlmann, E Sentovich, R Passerone US Patent 7,743,354, 2010 | 59 | 2010 |
| Energy-aware gas sensing using wireless sensor networks A Somov, A Baranov, A Savkin, M Ivanov, L Calliari, R Passerone, ... European Conference on Wireless Sensor Networks, 245-260, 2012 | 58 | 2012 |
| System level design paradigms: Platform-based design and communication synthesis A Pinto, A Bonivento, AL Sangiovanni-Vincentelli, R Passerone, M Sgroi Proceedings of the 41st annual Design Automation Conference, 537-563, 2004 | 58 | 2004 |
| Navigation assistance and guidance of older adults across complex public spaces: the DALi approach L Palopoli, A Argyros, J Birchbauer, A Colombo, D Fontanelli, A Legay, ... Intelligent Service Robotics 8 (2), 77-92, 2015 | 53 | 2015 |
| Overcoming heterophobia: Modeling concurrency in heterogeneous systems J Burch, R Passerone, AL Sangiovanni-Vincentelli Proceedings Second International Conference on Application of Concurrency to …, 2001 | 53 | 2001 |
| A contract-based formalism for the specification of heterogeneous systems L Benvenuti, A Ferrari, L Mangeruca, E Mazzi, R Passerone, C Sofronis 2008 Forum on Specification, Verification and Design Languages, 142-147, 2008 | 52 | 2008 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
