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
242 2008 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
230 2008 A 2-mm V Giannini, P Nuzzo, C Soens, K Vengattaramane, J Ryckaert, M Goffioul, ...
IEEE Journal of Solid-State Circuits 44 (12), 3486-3498, 2009
183 * 2009 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
114 * 2006 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
102 2014 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
85 2017 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
77 2007 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
69 2009 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
64 2015 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
59 2010 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
47 2006 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
46 2005 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), 5, 2018
43 2018 A 0.1–5GHz Dual-VCO software-defined∑ Δ frequency synthesizer in 45nm digital CMOS P Nuzzo, K Vengattaramane, M Ingels, V Giannini, M Steyaert, ...
2009 IEEE Radio Frequency Integrated Circuits Symposium, 321-324, 2009
39 2009 Sound and complete state estimation for linear dynamical systems under sensor attacks using satisfiability modulo theory solving Y Shoukry, A Puggelli, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, ...
2015 American Control Conference (ACC), 3818-3823, 2015
35 2015 Architectural exploration and design of time-interleaved SAR arrays for low-power and high speed A/D converters S Saponara, P Nuzzo, C Nani, G Van der Plas, L Fanucci
IEICE Transactions on Electronics 92 (6), 843-851, 2009
29 2009 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
26 2016 ABCD-NL: Approximating continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification AV Karthik, S Ray, P Nuzzo, A Mishchenko, R Brayton, J Roychowdhury
2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC), 250-255, 2014
26 2014 Optimal load management system for aircraft electric power distribution M Maasoumy, P Nuzzo, F Iandola, M Kamgarpour, ...
52nd IEEE Conference on Decision and Control, 2939-2945, 2013
26 2013 Methodology for the design of analog integrated interfaces using contracts P Nuzzo, A Sangiovanni-Vincentelli, X Sun, A Puggelli
IEEE Sensors Journal 12 (12), 3329-3345, 2012
26 2012 
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu