Publications

Nikhil Vijay Naik, Alessandro Pinto, Pierluigi Nuzzo (2024). Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements. TCAD.

PDF Cite

Charlott Vallon, Mark Pustilnik, Alessandro Pinto, Francesco Borrelli (2024). Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints. CDC2024.

PDF Cite

Timothy Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville (2023). Computer-Aided Generation of Assurance Cases. In SASSUR.

Cite

Timothy Wang, Alessandro Pinto (2023). Survey of Human Models for Verification of Human-Machine Systems. (Submitted to) IEEE Transactions on Human Machine Systems.

PDF Cite

Alessandro Pinto, Anthony Corso, Edward Schmerling (2023). Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. 2023 IEEE International Conference on Assured Autonomy (ICAA).

PDF Cite

Nicolas Rouquette, Inigo Incer, Alessandro Pinto (2023). Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts. 2023 IEEE Space Mission Challenges for Information Technology (SMC-IT).

Cite

Martin Feather, Alessandro Pinto (2023). Assurance for Autonomy - JPL's past research, lessons learned, and future directions. 2023 IEEE International Conference on Assured Autonomy (ICAA).

PDF Cite

Timothy E Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto (2022). Hierarchical Contract-Based Synthesis for Assurance Cases. NASA Formal Methods Symposium.

PDF Cite

Alessandro Pinto (2022). Analysis and Design of Uncertain Cyber-Physical Systems. Computation-Aware Algorithmic Design for Cyber-Physical Systems.

PDF Cite

Alessandro Pinto (2021). Requirement Specification, Analysis and Verification for Autonomous Systems. 2021 58th ACM/IEEE Design Automation Conference (DAC).

PDF Cite

Amit Bhatia, Alessandro Pinto (2021). Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities.. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering.

PDF Cite

Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis (2019). Explaining AI decisions using efficient methods for learning sparse Boolean formulae. Journal of Automated Reasoning.

PDF Cite

Alessandro Pinto (2019). An open and modular architecture for autonomous and intelligent systems. 2019 IEEE International Conference on Embedded Software and Systems (ICESS).

PDF Cite

Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis (2017). On learning sparse Boolean formulae for explaining AI decisions. NASA Formal Methods Symposium.

PDF Cite

Alessandro Pinto, Alberto L Sangiovanni-Vincentelli (2017). CSL4P: A contract specification language for platforms. Systems Engineering.

PDF Cite

Siddharth Srivastava, Stuart Russell, Alessandro Pinto (2015). Metaphysics of planning domain descriptions. 2015 AAAI Fall Symposium Series.

PDF Cite

Xuchu Dennis Ding, Brendan Englot, Alessandro Pinto, Alberto Speranzon, Amit Surana (2014). Hierarchical multi-objective planning: From mission specifications to contingency management. 2014 IEEE international conference on robotics and automation (ICRA).

PDF Cite

Alessandro Pinto, George A Mathew (2014). Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations.

Cite

Xu Chu Ding, Alessandro Pinto, Amit Surana (2013). Strategic planning under uncertainties via constrained Markov decision processes. 2013 IEEE International Conference on Robotics and Automation.

PDF Cite

Liangpeng Guo, Alberto Sangiovanni-Vincentelli, Alessandro Pinto (2013). A complexity metric for concurrent finite state machine based embedded software. 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

PDF Cite

I Cherepinsky, A Pinto (2012). Stringent safety design and verification methods for VTOL unmanned aerial vehicles. Proceedings of the American Helicopter Society 68th Annual Forum, Fort Worth, TX.

Cite

A Pinto (2012). Methods and tools to enable the design and verification of intelligent systems. AIAA Infotech at Aerospace.

PDF Cite

Songyan Xu, Ratnesh Kumar, Alessandro Pinto (2012). Correct-by-construction and optimal synthesis of beacon-enabled ZigBee network. IEEE Transactions on Automation Science and Engineering.

PDF Cite

Francesco Leonardi, Alessandro Pinto, Luca P Carloni (2011). Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings. 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

PDF Cite

George A Mathew, Alessandro Pinto (2011). Stochastic analysis and design of systems. Defense Technical Information Center #ADA552645.

PDF Cite

Andrzej Banaszuk, Vladimir A Fonoberov, Thomas A Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad Sane, Alberto Speranzon, others (2011). Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. Annual Reviews in Control.

PDF Cite

Igor Cizelj, Xu Chu Dennis Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta (2011). Probabilistically safe vehicle control in a hostile environment. IFAC Proceedings Volumes.

PDF Cite

George Mathew, Alessandro Pinto (2011). Optimal design of a class of hybrid systems with uncertain parameters. 2011 50th IEEE Conference on Decision and Control and European Control Conference.

PDF Cite

Mehdi Maasoumy, Alessandro Pinto, Alberto Sangiovanni-Vincentelli (2011). Model-based hierarchical optimal control design for HVAC systems. Dynamic Systems and Control Conference.

PDF Cite

M Mozumdar, Alberto Puggelli, Alessandro Pinto, Luciano Lavagno, Alberto L Sangiovanni-Vincentelli (2011). A hierarchical wireless network architecture for building automation and control systems. Proceedings of the 7th International Conference on Networking and Services (ICNS).

PDF Cite

George Mathew, Alessandro Pinto (2010). Markov modeling of stochastic hybrid systems. 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

PDF Cite

Alessandro Pinto, Sudha Krishnamurthy (2010). Developing design tools for uncertain systems in an industrial setting. 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

PDF Cite

Sandor Becz, Alessandro Pinto, Lawrence Zeidner, Ritest Khire, Hayden Reeve, Andrzej Banaszuk (2010). Design system for managing complexity in aerospace systems. 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference.

PDF Cite

Alessandro Pinto, Sandor Becz, Hayden Reeve (2010). Correct-by-construction design of aircraft electric power systems. 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference.

PDF Cite

Amit Surana, Alessandro Pinto (2010). Analysis of Stochastic Automata Networks using copula functions. 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

PDF Cite

Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan (2010). A model-based end-to-end toolchain for the probabilistic analysis of complex systems. 2010 IEEE International Conference on Automation Science and Engineering.

PDF Cite

Yang Yang, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Qi Zhu (2010). A design flow for building automation and control systems. 2010 31st IEEE Real-Time Systems Symposium.

PDF Cite

Alessandro Pinto, Ratnesh Kumar, Songyan Xu (2009). Synthesis of wireless time-triggered embedded networks for networked control systems. 2009 IEEE International Conference on Automation Science and Engineering.

PDF Cite

Luca P Carloni, Andrew B Kahng, Swamy V Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma (2009). Accurate predictive interconnect modeling for system-level design. IEEE transactions on very large scale integration (VLSI) systems.

PDF Cite

Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli (2009). A methodology for constraint-driven synthesis of on-chip communications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

PDF Cite Source Document

Francesco Leonardi, Alessandro Pinto, Luca P Carloni (2009). A case study in distributed deployment of embedded software for camera networks. 2009 Design, Automation & Test in Europe Conference & Exhibition.

PDF Cite

Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto Sangiovanni-Vincentelli (2008). Synthesis of embedded networks for building automation and control. 2008 American Control Conference.

PDF Cite

M D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Al Sangiovanni-Vincentelli (2008). Outage-based rate maximization in cdma wireless networks. IEEE GLOBECOM 2008-2008 IEEE Global Telecommunications Conference.

PDF Cite

Luca Carloni, Andrew B Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma (2008). Interconnect modeling for improved system-level design optimization. 2008 Asia and South Pacific Design Automation Conference.

PDF Cite

Alessandro Pinto, Luca P Carloni, Alberto Sangiovanni-Vincentelli (2008). COSI: A framework for the design of interconnection networks. IEEE Design & Test of Computers.

PDF Cite

Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu (2007). A next-generation design framework for platform-based design. Conference on using hardware design and verification languages (DVCon).

Cite

Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli (2007). A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. Proceedings of the 7th ACM & IEEE international conference on Embedded software.

PDF Cite

Alessandro Pinto, Alvise Bonivento, Allberto L Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi (2006). System level design paradigms: Platform-based design and communication synthesis. ACM Transactions on Design Automation of Electronic Systems (TODAES).

PDF Cite

Luca P Carloni, Roberto Passerone, Alessandro Pinto, Alberto L Sangiovanni-Vincentelli, others (2006). Languages and tools for hybrid systems design. Foundations and Trends® in Electronic Design Automation.

PDF Cite

Alessandro Pinto, Luca P Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli (2006). Interchange semantics for hybrid system models. Proc. of 5th MATHMOD.

PDF Cite Slides

Alessandro Pinto, Luca P Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli (2006). Interchange format for hybrid systems: Abstract semantics. International Workshop on Hybrid Systems: Computation and Control.

PDF Cite

Jonathan Sprinkle, Aaron D Ames, Alessandro Pinto, Haiyang Zheng, S Shankar Sastry (2005). On the partitioning of syntax and semantics for hybrid systems tools. Proceedings of the 44th IEEE Conference on Decision and Control.

PDF Cite

Alessandro Pinto, Alberto L Sangiovanni-Vincentelli, Luca P Carloni, Roberto Passerone (2005). Interchange formats for hybrid systems: Review and proposal. International Workshop on Hybrid Systems: Computation and Control.

PDF Cite

Alberto Luigi Sangiovanni-Vincentelli, Alessandro Pinto (2005). Embedded system education: a new paradigm for engineering schools?. ACM SIGBED Review.

PDF Cite

Alberto L Sangiovanni-Vincentelli, Alessandro Pinto (2005). An overview of embedded system design education at Berkeley. ACM Transactions on Embedded Computing Systems (TECS).

PDF Cite

Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L Sangiovanni-Vincentelli (2005). A formal approach to system level design: Metamodels and unified design environments. Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE'05..

PDF Cite

Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli (2003). Efficient synthesis of networks on chip. Proceedings 21st International Conference on Computer Design.

PDF Cite

Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli (2002). Constraint-driven communication synthesis. Proceedings of the 39th annual Design Automation Conference.

PDF Cite

Charlott Vallon, Alessandro Pinto, Bartolomeo Stellato, Francesco Borrelli (0001). Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems. CDC2024.

PDF Cite