Alessandro Pinto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
2002–2023
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAFECOMP | Computer-Aided Generation of Assurance Cases. | Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo |
| 2021 | DAC | Requirement Specification, Analysis and Verification for Autonomous Systems. | Alessandro Pinto |
| 2016 | AAAI | Metaphysics of Planning Domain Descriptions. | Siddharth Srivastava, Stuart Russell, Alessandro Pinto |
| 2014 | ICRA | Hierarchical Multi-objective planning: From mission specifications to contingency management. | Xuchu Dennis Ding, Brendan J. Englot, Alessandro Pinto, Alberto Speranzon, Amit Surana |
| 2013 | ICRA | Strategic planning under uncertainties via constrained Markov Decision Processes. | Xu Chu Ding, Alessandro Pinto, Amit Surana |
| 2010 | RTSS | A Design Flow for Building Automation and Control Systems. | Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu |
| 2009 | DATE | A case study in distributed deployment of embedded software for camera networks. | Francesco Leonardi, Alessandro Pinto, Luca P. Carloni |
| 2008 | ASPDAC | Interconnect modeling for improved system-level design optimization. | Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma |
| 2008 | GLOBECOM | Outage-Based Rate Maximization in CDMA Wireless Networks. | M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
| 2007 | EMSOFT | A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2005 | MEMOCODE | A formal approach to system level design: metamodels and unified design environments. | Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
| 2003 | ICCD | Efficient Synthesis of Networks On Chip. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2002 | DAC | Constraint-driven communication synthesis. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |