Constraint-driven communication synthesis. - Alessandro Pinto; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (DAC, 2002)

Efficient Synthesis of Networks On Chip. - Alessandro Pinto; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (ICCD, 2003)

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools. - Jonathan Sprinkle; Aaron D. Ames; Alessandro Pinto; Haiyang Zheng; S. Shankar Sastry (CDC/ECC, 2005)

Interchange Formats for Hybrid Systems: Review and Proposal. - Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli; Luca P. Carloni; Roberto Passerone (HSCC, 2005)

A formal approach to system level design: metamodels and unified design environments. - Felice Balarin; Roberto Passerone; Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2005)

Embedded system education: a new paradigm for engineering schools? - Alberto L. Sangiovanni-Vincentelli; Alessandro Pinto (SIGBED Rev., 2005)

An overview of embedded system design education at berkeley. - Alberto L. Sangiovanni-Vincentelli; Alessandro Pinto (ACM Trans. Embed. Comput. Syst., 2005)

Interchange Format for Hybrid Systems: Abstract Semantics. - Alessandro Pinto; Luca P. Carloni; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (HSCC, 2006)

Languages and Tools for Hybrid Systems Design. - Luca P. Carloni; Roberto Passerone; Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli (Found. Trends Electron. Des. Autom., 2006)

System level design paradigms: Platform-based design and communication synthesis. - Alessandro Pinto; Alvise Bonivento; Alberto L. Sangiovanni-Vincentelli; Roberto Passerone; Marco Sgroi (ACM Trans. Design Autom. Electr. Syst., 2006)

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 (EMSOFT, 2007)

Synthesis of Embedded Networks for Building Automation and Control. - Alessandro Pinto; Massimiliano D'Angelo; Carlo Fischione; Eelco Scholte; Alberto L. Sangiovanni-Vincentelli (ACC, 2008)

Interconnect modeling for improved system-level design optimization. - Luca P. Carloni; Andrew B. Kahng; Swamy Muddu; Alessandro Pinto; Kambiz Samadi; Puneet Sharma (ASP-DAC, 2008)

Outage-Based Rate Maximization in CDMA Wireless Networks. - M. D'Angelo; Carlo Fischione; Matteo Butussi; Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli (GLOBECOM, 2008)

COSI: A Framework for the Design of Interconnection Networks. - Alessandro Pinto; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (IEEE Des. Test Comput., 2008)

Synthesis of wireless time-triggered embedded networks for networked control systems. - Alessandro Pinto; Ratnesh Kumar 001; Songyan Xu (CASE, 2009)

A case study in distributed deployment of embedded software for camera networks. - Francesco Leonardi; Alessandro Pinto; Luca P. Carloni (DATE, 2009)

A Methodology for Constraint-Driven Synthesis of On-Chip Communications. - Alessandro Pinto; Luca P. Carloni; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Markov modeling of Stochastic Hybrid Systems. - George Mathew; Alessandro Pinto (Allerton, 2010)

Developing design tools for uncertain systems in an industrial setting. - Alessandro Pinto; Sudha Krishnamurthy (Allerton, 2010)

Analysis of Stochastic Automata Networks using copula functions. - Amit Surana; Alessandro Pinto (Allerton, 2010)

A model-based end-to-end toolchain for the probabilistic analysis of complex systems. - Alessandro Pinto; Sudha Krishnamurthy; Suresh Kannan (CASE, 2010)

A Design Flow for Building Automation and Control Systems. - Yang Yang 040; Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli; Qi Zhu 002 (RTSS, 2010)

Accurate Predictive Interconnect Modeling for System-Level Design. - Luca P. Carloni; Andrew B. Kahng; Sudhakar Muddu; Alessandro Pinto; Kambiz Samadi; Puneet Sharma (IEEE Trans. Very Large Scale Integr. Syst., 2010)

Optimal design of a class of hybrid systems with uncertain parameters. - George Mathew; Alessandro Pinto (CDC/ECC, 2011)

Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. - Francesco Leonardi; Alessandro Pinto; Luca P. Carloni (ICCPS, 2011)

Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. - 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 (Annu. Rev. Control., 2011)

Probabilistically Safe Vehicle Control in a Hostile Environment - Igor Cizelj; Xu Chu Ding; Morteza Lahijanian; Alessandro Pinto; Calin Belta (CoRR, 2011)

Methods and Tools to Enable the Verification of Intelligent Systems. - Alessandro Pinto (Infotech@Aerospace, 2012)

Strategic planning under uncertainties via constrained Markov Decision Processes. - Xu Chu Ding; Alessandro Pinto; Amit Surana (ICRA, 2013)

A complexity metric for concurrent finite state machine based embedded software. - Liangpeng Guo; Alberto L. Sangiovanni-Vincentelli; Alessandro Pinto (SIES, 2013)

Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. - Songyan Xu; Ratnesh Kumar 001; Alessandro Pinto (IEEE Trans Autom. Sci. Eng., 2013)

Hierarchical Multi-objective planning: From mission specifications to contingency management. - Xuchu Dennis Ding; Brendan J. Englot; Alessandro Pinto; Alberto Speranzon; Amit Surana (ICRA, 2014)

Metaphysics of Planning Domain Descriptions. - Siddharth Srivastava 001; Stuart Russell 001; Alessandro Pinto (AAAI, 2016)

On Learning Sparse Boolean Formulae for Explaining AI Decisions. - Susmit Jha; Vasumathi Raman; Alessandro Pinto; Tuhin Sahai; Michael Francis (NFM, 2017)

An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems. - Tathagata Chakraborti; Siddharth Srivastava 001; Alessandro Pinto; Subbarao Kambhampati (CoRR, 2017)

CSL4P: A Contract Specification Language for Platforms. - Alessandro Pinto; Alberto L. Sangiovanni-Vincentelli (Syst. Eng., 2017)

An Open and Modular Architecture for Autonomous and Intelligent Systems. - Alessandro Pinto (ICESS, 2019)

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. - Susmit Jha; Tuhin Sahai; Vasumathi Raman; Alessandro Pinto; Michael Francis (J. Autom. Reason., 2019)

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

Requirement Specification, Analysis and Verification for Autonomous Systems. - Alessandro Pinto (DAC, 2021)

Hierarchical Contract-Based Synthesis for Assurance Cases. - Timothy E. Wang; Zamira Daw; Pierluigi Nuzzo 002; Alessandro Pinto (NFM, 2022)

Assurance for Autonomy - JPL's past research, lessons learned, and future directions. - Martin S. Feather; Alessandro Pinto (ICAA, 2023)

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. - Alessandro Pinto; Anthony Corso 001; Edward Schmerling (ICAA, 2023)

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 002 (SAFECOMP Workshops, 2023)

Survey of Human Models for Verification of Human-Machine Systems. - Timothy E. Wang; Alessandro Pinto (CoRR, 2023)

Analysis and Design of Uncertain Cyber-Physical Systems. - Alessandro Pinto (CoRR, 2023)

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

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

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts. - Nicolas Rouquette; Alessandro Pinto; Inigo Incer (CoRR, 2024)

Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements. - Nikhil Vijay Naik 001; Alessandro Pinto; Pierluigi Nuzzo 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)