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
292 2012 A platform-based taxonomy for ESL design D Densmore, R Passerone
IEEE Design & Test of Computers 23 (5), 359-374, 2006
232 2006 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
231 1998 Languages and tools for hybrid systems design LP Carloni, R Passerone, A Pinto
now Publishers Inc, 2006
222 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
220 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
217 * 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
152 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
126 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
125 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
78 2009 metro II: A design environment for cyber-physical systemsA Davare, D Densmore, L Guo, R Passerone, AL Sangiovanni-Vincentelli, ...
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-31, 2013
73 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 N Cottini, M Gottardi, N Massari, R Passerone, Z Smilansky
IEEE Journal of Solid-State Circuits 48 (3), 850-863, 2013
63 2013 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
63 2012 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
61 2010 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
59 2004 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
56 2008 Overcoming heterophobia: Modeling concurrency in heterogeneous systems J Burch, R Passerone, AL Sangiovanni-Vincentelli
Proceedings Second International Conference on Application of Concurrency to …, 2001
55 2001 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
52 2015 
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyBestätigte E-Mail-Adresse bei eecs.berkeley.edu
