According to our database1, Alberto Puggelli authored at least 20 papers between 2010 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
IEEE Trans. Autom. Control., 2017
A RISC-V Processor SoC With Integrated Power Management at Submicrosecond Timescales in 28 nm FD-SOI.
IEEE J. Solid State Circuits, 2017
A RISC-V Vector Processor With Simultaneous-Switching Switched-Capacitor DC-DC Converters in 28 nm FDSOI.
IEEE J. Solid State Circuits, 2016
Proceedings of the ESSCIRC Conference 2016: 42<sup>nd</sup> European Solid-State Circuits Conference, 2016
On-chip supply power measurement and waveform reconstruction in a 28nm FD-SOI processor SoC.
Proceedings of the IEEE Asian Solid-State Circuits Conference, 2016
IEEE Syst. J., 2015
A RISC-V vector processor with tightly-integrated switched-capacitor DC-DC converters in 28nm FDSOI.
Proceedings of the Symposium on VLSI Circuits, 2015
Raven: A 28nm RISC-V vector processor with integrated switched-capacitor DC-DC converters and adaptive clocking.
Proceedings of the 2015 IEEE Hot Chips 27 Symposium (HCS), 2015
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving.
Proceedings of the American Control Conference, 2015
Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties.
PhD thesis, 2014
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing.
Proceedings of the 2014 International Conference on Embedded Software, 2014
Proceedings of the 2014 AAAI Spring Symposia, 2014
BAG: a designer-oriented integrated framework for the development of AMS circuit generators.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the International Conference on Computing, Networking and Communications, 2012
Proceedings of the 48th Design Automation Conference, 2011
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
Proceedings of the 36th European Solid-State Circuits Conference, 2010