| 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 | 186 | 2017 |
| Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior D Sadigh, KD Campbell, AAA Puggelli, W Li, V Shia, R Bajcsy, ... AAAI 2014 Spring Symposia - FORMAL VERIFICATION AND MODELING IN HUMAN …, 2013 | 85 | 2013 |
| Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties A Puggelli, W Li, AL Sangiovanni-Vincentelli, SA Seshia Computer Aided Verification (CAV), 527-542, 2013 | 74 | 2013 |
| 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 | 72 | 2010 |
| An agile approach to building RISC-V microprocessors Y Lee, A Waterman, H Cook, B Zimmer, B Keller, A Puggelli, J Kwak, ... IEEE Micro 36 (2), 8-20, 2016 | 68 | 2016 |
| A RISC-V vector processor with simultaneous-switching switched-capacitor DC–DC converters in 28 nm FDSOI B Zimmer, Y Lee, A Puggelli, J Kwak, R Jevtić, B Keller, S Bailey, ... IEEE Journal of Solid-State Circuits 51 (4), 930-942, 2016 | 54 | 2016 |
| 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 | 40 | 2015 |
| BAG: A designer-oriented integrated framework for the development of AMS circuit generators J Crossley, A Puggelli, HP Le, B Yang, R Nancollas, K Jung, L Kong, ... 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 74-81, 2013 | 39 | 2013 |
| A RISC-V vector processor with tightly-integrated switched-capacitor DC-DC converters in 28nm FDSOI B Zimmer, Y Lee, A Puggelli, J Kwak, R Jevtic, B Keller, S Bailey, ... 2015 Symposium on VLSI Circuits (VLSI Circuits), C316-C317, 2015 | 38 | 2015 |
| Time-to-digital converter with 3-ps resolution and digital linearization algorithm M Zanuso, S Levantino, A Puggelli, C Samori, AL Lacaita 2010 Proceedings of ESSCIRC, 262-265, 2010 | 32 | 2010 |
| A RISC-V processor SoC with integrated power management at submicrosecond timescales in 28 nm FD-SOI B Keller, M Cochet, B Zimmer, J Kwak, A Puggelli, Y Lee, M Blagojević, ... IEEE Journal of Solid-State Circuits 52 (7), 1863-1875, 2017 | 28 | 2017 |
| 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 | 28 | 2012 |
| Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool A Puggelli, MMR Mozumdar, L Lavagno, AL Sangiovanni-Vincentelli IEEE, 2013 | 24 | 2013 |
| Feedback control in hybrid voltage regulators HP Le, J CROSSLEY, A PUGGELLI, W Kim US Patent App. 14/508,229, 2015 | 20 | 2015 |
| Raven: A 28nm risc-v vector processor with integrated switched-capacitor dc-dc converters and adaptive clocking Y Lee, B Zimmer, A Waterman, A Puggelli, J Kwak, R Jevtic, B Keller, ... 2015 IEEE Hot Chips 27 Symposium (HCS), 1-45, 2015 | 18 | 2015 |
| Imhotep-SMT: A satisfiability modulo theory solver for secure state estimation Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ... Proc. Int. Workshop Satisfiability Modulo Theories, 3-13, 2015 | 17 | 2015 |
| Are logic synthesis tools robust? A Puggelli, T Welp, A Kuehlmann, A Sangiovanni-Vincentelli 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 633-638, 2011 | 16 | 2011 |
| Sub-microsecond adaptive voltage scaling in a 28nm FD-SOI processor SoC B Keller, M Cochet, B Zimmer, Y Lee, M Blagojevic, J Kwak, A Puggelli, ... ESSCIRC Conference 2016: 42nd European Solid-State Circuits Conference, 269-272, 2016 | 14 | 2016 |
| Formal techniques for the verification and optimal control of probabilistic systems in the presence of modeling uncertainties A Puggelli UC Berkeley, 2014 | 9 | 2014 |
| Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia 2014 International Conference on Embedded Software (EMSOFT), 1-10, 2014 | 8 | 2014 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
