Alessandro Pinto

59 papers A* 5A 2B 1C 3Misc 1Journal 24Unranked 23

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