default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessandro Pinto
Person information
- affiliation: California Institute of Technology, NASA Jet Propulsion Laboratory, USA
- affiliation (PhD 2008): University of California, Berkeley, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i10]Charlott Vallon, Mark Pustilnik, Alessandro Pinto, Francesco Borrelli:
Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints. CoRR abs/2403.14536 (2024)- [i9]Charlott Vallon, Alessandro Pinto, Bartolomeo Stellato, Francesco Borrelli:
Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems. CoRR abs/2403.14545 (2024) - [i8]Nicolas Rouquette, Alessandro Pinto, Inigo Incer:
Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts. CoRR abs/2409.02218 (2024) - 2023
- [c33]Alessandro Pinto, Anthony Corso, Edward Schmerling:
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. ICAA 2023: 34-43 - [c32]Martin S. Feather, Alessandro Pinto
:
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. ICAA 2023: 97-105 - [c31]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: 135-148 - [i7]Alessandro Pinto, Anthony Corso, Edward Schmerling:
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. CoRR abs/2304.13517 (2023) - [i6]Martin S. Feather, Alessandro Pinto:
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. CoRR abs/2305.11902 (2023) - [i5]Timothy E. Wang, Alessandro Pinto:
Survey of Human Models for Verification of Human-Machine Systems. CoRR abs/2307.15082 (2023) - [i4]Alessandro Pinto:
Analysis and Design of Uncertain Cyber-Physical Systems. CoRR abs/2308.00052 (2023) - 2022
- [c30]Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto:
Hierarchical Contract-Based Synthesis for Assurance Cases. NFM 2022: 175-192 - 2021
- [c29]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 - [c28]Alessandro Pinto:
Requirement Specification, Analysis and Verification for Autonomous Systems. DAC 2021: 1315-1318
2010 – 2019
- 2019
- [j11]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): 1055-1075 (2019) - [c27]Alessandro Pinto:
An Open and Modular Architecture for Autonomous and Intelligent Systems. ICESS 2019: 1-8 - 2017
- [j10]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
CSL4P: A Contract Specification Language for Platforms. Syst. Eng. 20(3): 220-234 (2017) - [c26]Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis:
On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM 2017: 99-114 - [i3]Tathagata Chakraborti, Siddharth Srivastava, Alessandro Pinto, Subbarao Kambhampati:
An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems. CoRR abs/1706.01133 (2017) - 2016
- [c25]Siddharth Srivastava, Stuart Russell, Alessandro Pinto:
Metaphysics of Planning Domain Descriptions. AAAI 2016: 1074-1080 - 2015
- [c24]Siddharth Srivastava, Stuart Russell, Alessandro Pinto:
Metaphysics of Planning Domain Descriptions. AAAI Fall Symposia 2015: 83-90 - 2014
- [c23]Xuchu Dennis Ding, Brendan J. Englot, Alessandro Pinto, Alberto Speranzon, Amit Surana:
Hierarchical Multi-objective planning: From mission specifications to contingency management. ICRA 2014: 3735-3742 - 2013
- [j9]Songyan Xu, Ratnesh Kumar, Alessandro Pinto:
Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. IEEE Trans Autom. Sci. Eng. 10(1): 137-144 (2013) - [c22]Xu Chu Ding, Alessandro Pinto, Amit Surana:
Strategic planning under uncertainties via constrained Markov Decision Processes. ICRA 2013: 4568-4575 - [c21]Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
A complexity metric for concurrent finite state machine based embedded software. SIES 2013: 189-195 - 2012
- [c20]Alessandro Pinto:
Methods and Tools to Enable the Verification of Intelligent Systems. Infotech@Aerospace 2012 - 2011
- [j8]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): 77-98 (2011) - [c19]George Mathew, Alessandro Pinto:
Optimal design of a class of hybrid systems with uncertain parameters. CDC/ECC 2011: 539-544 - [c18]Francesco Leonardi, Alessandro Pinto, Luca P. Carloni:
Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. ICCPS 2011: 215-224 - [i2]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 abs/1103.0733 (2011) - [i1]Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta:
Probabilistically Safe Vehicle Control in a Hostile Environment. CoRR abs/1103.4065 (2011) - 2010
- [j7]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): 679-684 (2010) - [c17]Amit Surana, Alessandro Pinto:
Analysis of Stochastic Automata Networks using copula functions. Allerton 2010: 1699-1706 - [c16]George Mathew, Alessandro Pinto:
Markov modeling of Stochastic Hybrid Systems. Allerton 2010: 1707-1713 - [c15]Alessandro Pinto, Sudha Krishnamurthy:
Developing design tools for uncertain systems in an industrial setting. Allerton 2010: 1714-1721 - [c14]Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan:
A model-based end-to-end toolchain for the probabilistic analysis of complex systems. CASE 2010: 994-1000 - [c13]Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu:
A Design Flow for Building Automation and Control Systems. RTSS 2010: 105-116
2000 – 2009
- 2009
- [j6]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): 364-377 (2009) - [c12]Alessandro Pinto, Ratnesh Kumar, Songyan Xu:
Synthesis of wireless time-triggered embedded networks for networked control systems. CASE 2009: 397-402 - [c11]Francesco Leonardi, Alessandro Pinto, Luca P. Carloni:
A case study in distributed deployment of embedded software for camera networks. DATE 2009: 1006-1011 - 2008
- [j5]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
COSI: A Framework for the Design of Interconnection Networks. IEEE Des. Test Comput. 25(5): 402-415 (2008) - [c10]Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli:
Synthesis of Embedded Networks for Building Automation and Control. ACC 2008: 920-925 - [c9]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: 258-264 - [c8]M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
Outage-Based Rate Maximization in CDMA Wireless Networks. GLOBECOM 2008: 1310-1315 - 2007
- [c7]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: 21-29 - 2006
- [j4]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) - [j3]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): 537-563 (2006) - [c6]Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506 - 2005
- [j2]Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
Embedded system education: a new paradigm for engineering schools? SIGBED Rev. 2(4): 5-14 (2005) - [j1]Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
An overview of embedded system design education at berkeley. ACM Trans. Embed. Comput. Syst. 4(3): 472-499 (2005) - [c5]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: 4694-4699 - [c4]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541 - [c3]Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
A formal approach to system level design: metamodels and unified design environments. MEMOCODE 2005: 155-163 - 2003
- [c2]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150 - 2002
- [c1]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Constraint-driven communication synthesis. DAC 2002: 783-788
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
