Alessandro Pinto

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 18

Top Topics

Intelligent Design

Autonomous Systems

Specification Language

Top Venues

Publications

Charlott Vallon, Alessandro Pinto, Bartolomeo Stellato, Francesco Borrelli
Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems. CoRR (2024)
Charlott Vallon, Mark Pustilnik, Alessandro Pinto, Francesco Borrelli
Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints. CoRR (2024)
Alessandro Pinto, Anthony Corso, Edward Schmerling
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. CoRR (2023)
Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Timothy E. Wang, Alessandro Pinto
Survey of Human Models for Verification of Human-Machine Systems. CoRR (2023)
Alessandro Pinto, Anthony Corso, Edward Schmerling
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. ICAA (2023)
Martin S. Feather, Alessandro Pinto
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. CoRR (2023)
Martin S. Feather, Alessandro Pinto
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. ICAA (2023)
Alessandro Pinto
Analysis and Design of Uncertain Cyber-Physical Systems. CoRR (2023)
Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
Hierarchical Contract-Based Synthesis for Assurance Cases. NFM (2022)
Alessandro Pinto
Requirement Specification, Analysis and Verification for Autonomous Systems. DAC (2021)
Amit Bhatia, Alessandro Pinto
Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (2021)
Alessandro Pinto
An Open and Modular Architecture for Autonomous and Intelligent Systems. ICESS (2019)
Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. 63 (4) (2019)
Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM (2017)
Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
CSL4P: A Contract Specification Language for Platforms. Syst. Eng. 20 (3) (2017)
Tathagata Chakraborti, Siddharth Srivastava, Alessandro Pinto, Subbarao Kambhampati
An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems. CoRR (2017)
Siddharth Srivastava, Stuart J. Russell, Alessandro Pinto
Metaphysics of Planning Domain Descriptions. AAAI (2016)
Siddharth Srivastava, Stuart J. Russell, Alessandro Pinto
Metaphysics of Planning Domain Descriptions. AAAI Fall Symposia (2015)
Xuchu Dennis Ding, Brendan J. Englot, Alessandro Pinto, Alberto Speranzon, Amit Surana
Hierarchical Multi-objective planning: From mission specifications to contingency management. ICRA (2014)
Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
A complexity metric for concurrent finite state machine based embedded software. SIES (2013)
Xu Chu Ding, Alessandro Pinto, Amit Surana
Strategic planning under uncertainties via constrained Markov Decision Processes. ICRA (2013)
Songyan Xu, Ratnesh Kumar, Alessandro Pinto
Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. IEEE Trans Autom. Sci. Eng. 10 (1) (2013)
Alessandro Pinto
Methods and Tools to Enable the Verification of Intelligent Systems. Infotech@Aerospace (2012)
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta
Probabilistically Safe Vehicle Control in a Hostile Environment CoRR (2011)
Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad S. Sane, Alberto Speranzon, Amit Surana
Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems CoRR (2011)
Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad S. Sane, Alberto Speranzon, Amit Surana
Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. Annu. Rev. Control. 35 (1) (2011)
George Mathew, Alessandro Pinto
Optimal design of a class of hybrid systems with uncertain parameters. CDC/ECC (2011)
Francesco Leonardi, Alessandro Pinto, Luca P. Carloni
Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. ICCPS (2011)
Alessandro Pinto, Sudha Krishnamurthy
Developing design tools for uncertain systems in an industrial setting. Allerton (2010)
George Mathew, Alessandro Pinto
Markov modeling of Stochastic Hybrid Systems. Allerton (2010)
Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan
A model-based end-to-end toolchain for the probabilistic analysis of complex systems. CASE (2010)
Amit Surana, Alessandro Pinto
Analysis of Stochastic Automata Networks using copula functions. Allerton (2010)
Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
Accurate Predictive Interconnect Modeling for System-Level Design. IEEE Trans. Very Large Scale Integr. Syst. 18 (4) (2010)
Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu
A Design Flow for Building Automation and Control Systems. RTSS (2010)
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (3) (2009)
Francesco Leonardi, Alessandro Pinto, Luca P. Carloni
A case study in distributed deployment of embedded software for camera networks. DATE (2009)
Alessandro Pinto, Ratnesh Kumar, Songyan Xu
Synthesis of wireless time-triggered embedded networks for networked control systems. CASE (2009)
Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli
Synthesis of Embedded Networks for Building Automation and Control. ACC (2008)
M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
Outage-Based Rate Maximization in CDMA Wireless Networks. GLOBECOM (2008)
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
COSI: A Framework for the Design of Interconnection Networks. IEEE Des. Test Comput. 25 (5) (2008)
Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
Interconnect modeling for improved system-level design optimization. ASP-DAC (2008)
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT (2007)
Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi
System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. 11 (3) (2006)
Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
Interchange Format for Hybrid Systems: Abstract Semantics. HSCC (2006)
Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
Languages and Tools for Hybrid Systems Design. Found. Trends Electron. Des. Autom. 1 (1/2) (2006)
Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
An overview of embedded system design education at berkeley. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, S. Shankar Sastry
On the Partitioning of Syntax and Semantics For Hybrid Systems Tools. CDC/ECC (2005)
Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
Embedded system education: a new paradigm for engineering schools? SIGBED Rev. 2 (4) (2005)
Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
A formal approach to system level design: metamodels and unified design environments. MEMOCODE (2005)
Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
Interchange Formats for Hybrid Systems: Review and Proposal. HSCC (2005)
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Efficient Synthesis of Networks On Chip. ICCD (2003)
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Constraint-driven communication synthesis. DAC (2002)