| Noise analysis of regenerative comparators for reconfigurable ADC architectures P Nuzzo, F De Bernardinis, P Terreni, G Van der Plas IEEE Transactions on Circuits and Systems I: Regular Papers 55 (6), 1441-1454, 2008 | 396 | 2008 |
| Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ... IEEE Transactions on Automatic Control 62 (10), 4917-4932, 2017 | 326 | 2017 |
| An 820μW 9b 40MS/s noise-tolerant dynamic-SAR ADC in 90nm digital CMOS V Giannini, P Nuzzo, V Chironi, A Baschirotto, G Van der Plas, ... 2008 IEEE International Solid-State Circuits Conference-Digest of Technical …, 2008 | 288 | 2008 |
| A 2-mm0.1–5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS V Giannini, P Nuzzo, C Soens, K Vengattaramane, J Ryckaert, M Goffioul, ... IEEE Journal of Solid-State Circuits 44 (12), 3486-3498, 2009 | 221* | 2009 |
| A Contract-Based Methodology for Aircraft Electric Power System Design P Nuzzo, H Xu, N Ozay, JB Finn, AL Sangiovanni-Vincentelli, RM Murray, ... IEEE Access 2, 1-25, 2014 | 191 | 2014 |
| A platform-based design methodology with contracts and related tools for the design of cyber-physical systems P Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T Villa Proceedings of the IEEE 103 (11), 2104-2132, 2015 | 168 | 2015 |
| SMT-based observer design for cyber-physical systems under sensor attacks Y Shoukry, M Chong, M Wakaiki, P Nuzzo, A Sangiovanni-Vincentelli, ... ACM Transactions on Cyber-Physical Systems 2 (1), 1-27, 2018 | 138 | 2018 |
| A 16mA UWB 3-to-5GHz 20Mpulses/s Quadrature Analog Correlation Receiver in 0.18µm CMOS J Ryckaert, M Badaroglu, V De Heyn, G Van der Plas, P Nuzzo, ... International Solid-State Circuits Conference, 368-377, 2006 | 123* | 2006 |
| Design automation for smart building systems R Jia, B Jin, M Jin, Y Zhou, IC Konstantakopoulos, H Zou, J Kim, D Li, ... Proceedings of the IEEE 106 (9), 1680-1699, 2018 | 117 | 2018 |
| A 6-bit 50-MS/s threshold configuring SAR ADC in 90-nm digital CMOS P Nuzzo, C Nani, C Armiento, A Sangiovanni-Vincentelli, J Craninckx, ... Symposium on VLSI Circuits, 238-239, 2009 | 88 | 2009 |
| A CMOS ultra-wideband receiver for low data-rate communication J Ryckaert, M Verhelst, M Badaroglu, S D'Amico, V De Heyn, C Desset, ... IEEE Journal of Solid-State Circuits 42 (11), 2515-2527, 2007 | 87 | 2007 |
| CalCS: SMT solving for non-linear convex constraints P Nuzzo, A Puggelli, SA Seshia, A Sangiovanni-Vincentelli Formal Methods in Computer Aided Design, 71-79, 2010 | 83 | 2010 |
| SMC: Satisfiability modulo convex programming Y Shoukry, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, GJ Pappas, ... Proceedings of the IEEE 106 (9), 1655-1679, 2018 | 69 | 2018 |
| Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming Y Shoukry, P Nuzzo, A Balkan, I Saha, AL Sangiovanni-Vincentelli, ... 2017 IEEE 56th annual conference on decision and control (CDC), 1132-1137, 2017 | 69 | 2017 |
| SMC: Satisfiability modulo convex optimization Y Shoukry, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, GJ Pappas, ... Proceedings of the 20th international conference on hybrid systems …, 2017 | 66 | 2017 |
| Diagnosis and repair for synthesis from signal temporal logic specifications S Ghosh, D Sadigh, P Nuzzo, V Raman, A Donzé, ... Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 60 | 2016 |
| A sample-efficient algorithm for episodic finite-horizon MDP with constraints KC Kalagarla, R Jain, P Nuzzo Proceedings of the AAAI Conference on Artificial Intelligence 35 (9), 8030-8037, 2021 | 56 | 2021 |
| Mixed signal design space exploration through analog platforms F De Bernardinis, P Nuzzo, AS Vincentelli Proceedings of the 42nd annual Design Automation Conference, 875-880, 2005 | 53 | 2005 |
| A 10.6 mW/0.8 pJ power-scalable 1GS/s 4b ADC in 0.18 μm CMOS with 5.8 GHz ERBW P Nuzzo, G Van der Plas, F De Bernardinis, L Van der Perre, B Gyselinckx, ... Proceedings of the 43rd annual Design Automation Conference, 873-878, 2006 | 51 | 2006 |
| Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems L Guo, Q Zhu, P Nuzzo, R Passerone, A Sangiovanni-Vincentelli, EA Lee Proceedings of the 2014 International Conference on Hardware/Software …, 2014 | 49 | 2014 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
