Alberto Puggelli
Alberto Puggelli
Ph.D., Apple Inc.
Verified email at eecs.berkeley.edu
Title
Cited by
Cited by
Year
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
1982017
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
882013
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
792016
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
762013
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
722010
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
572016
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
422015
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
422013
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
392015
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
322010
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
302017
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
292012
Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool
A Puggelli, MMR Mozumdar, L Lavagno, AL Sangiovanni-Vincentelli
IEEE, 2013
262013
Feedback control in hybrid voltage regulators
HP Le, J CROSSLEY, A PUGGELLI, W Kim
US Patent App. 14/508,229, 2015
222015
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
192015
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
172015
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
172011
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
162016
Formal techniques for the verification and optimal control of probabilistic systems in the presence of modeling uncertainties
AAA Puggelli
University of California, Berkeley, 2014
92014
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
82014
The system can't perform the operation now. Try again later.
Articles 1–20