Alberto Puggelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | EMSOFT | Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. | Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2013 | CAV | Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. | Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2013 | ICCAD | BAG: a designer-oriented integrated framework for the development of AMS circuit generators. | John Crossley, Alberto Puggelli, Hanh-Phuc Le, B. Yang, R. Nancollas, Kwangmo Jung, Lingkai Kong, Nathan Narevsky, Yue Lu, Nicholas Sutardja, E. J. An, Alberto L. Sangiovanni-Vincentelli, Elad Alon |
| 2011 | DAC | Are logic synthesis tools robust? | Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2010 | FMCAD | CalCS: SMT solving for non-linear convex constraints. | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |