Alberto Puggelli

According to our database1, Alberto Puggelli authored at least 20 papers between 2010 and 2017.

Collaborative distances:



In proceedings 
PhD thesis 




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

An Agile Approach to Building RISC-V Microprocessors.
IEEE Micro, 2016

A RISC-V Vector Processor With Simultaneous-Switching Switched-Capacitor DC-DC Converters in 28 nm FDSOI.
IEEE J. Solid State Circuits, 2016

Sub-microsecond adaptive voltage scaling in a 28nm FD-SOI processor SoC.
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

Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool.
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.
CoRR, 2014

Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior.
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

Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

A routing-algorithm-aware design tool for indoor wireless sensor networks.
Proceedings of the International Conference on Computing, Networking and Communications, 2012

Are logic synthesis tools robust?
Proceedings of the 48th Design Automation Conference, 2011

CalCS: SMT solving for non-linear convex constraints.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Time-to-digital converter with 3-ps resolution and digital linearization algorithm.
Proceedings of the 36th European Solid-State Circuits Conference, 2010