Alessandro Pinto

CoRR, 2023

Survey of Human Models for Verification of Human-Machine Systems.

[BibT_eX]

[DOI]

Timothy E. Wang

CoRR, 2023

Computer-Aided Generation of Assurance Cases.

[BibT_eX]

[DOI]

Massimiliano L. Chiodo

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System.

[BibT_eX]

[DOI]

Anthony Corso

Edward Schmerling

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Assurance for Autonomy - JPL's past research, lessons learned, and future directions.

[BibT_eX]

[DOI]

Martin S. Feather

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Hierarchical Contract-Based Synthesis for Assurance Cases.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Requirement Specification, Analysis and Verification for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities.

[BibT_eX]

[DOI]

Amit Bhatia

Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2019

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

An Open and Modular Architecture for Autonomous and Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019

2017

CSL4P: A Contract Specification Language for Platforms.

[BibT_eX]

[DOI]

Syst. Eng., 2017

An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems.

[BibT_eX]

[DOI]

Tathagata Chakraborti

Siddharth Srivastava

Subbarao Kambhampati

CoRR, 2017

On Learning Sparse Boolean Formulae for Explaining AI Decisions.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Metaphysics of Planning Domain Descriptions.

[BibT_eX]

[DOI]

Siddharth Srivastava

Stuart Russell

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014

Hierarchical Multi-objective planning: From mission specifications to contingency management.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network.

[BibT_eX]

[DOI]

Songyan Xu

Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2013

A complexity metric for concurrent finite state machine based embedded software.

[BibT_eX]

[DOI]

Liangpeng Guo

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Strategic planning under uncertainties via constrained Markov Decision Processes.

[BibT_eX]

[DOI]

Xu Chu Ding

Amit Surana

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012

Methods and Tools to Enable the Verification of Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Probabilistically Safe Vehicle Control in a Hostile Environment

[BibT_eX]

[DOI]

CoRR, 2011

Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems.

[BibT_eX]

[DOI]

Andrzej Banaszuk

Vladimir A. Fonoberov

Annu. Rev. Control., 2011

Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings.

[BibT_eX]

[DOI]

Francesco Leonardi

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Optimal design of a class of hybrid systems with uncertain parameters.

[BibT_eX]

[DOI]

George Mathew

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Accurate Predictive Interconnect Modeling for System-Level Design.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2010

A Design Flow for Building Automation and Control Systems.

[BibT_eX]

[DOI]

Yang Yang

Qi Zhu

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

A model-based end-to-end toolchain for the probabilistic analysis of complex systems.

[BibT_eX]

[DOI]

Sudha Krishnamurthy

Suresh Kannan

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Analysis of Stochastic Automata Networks using copula functions.

[BibT_eX]

[DOI]

Amit Surana

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Developing design tools for uncertain systems in an industrial setting.

[BibT_eX]

[DOI]

Sudha Krishnamurthy

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Markov modeling of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

George Mathew

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

A Methodology for Constraint-Driven Synthesis of On-Chip Communications.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

A case study in distributed deployment of embedded software for camera networks.

[BibT_eX]

[DOI]

Francesco Leonardi

Proceedings of the Design, Automation and Test in Europe, 2009

Synthesis of wireless time-triggered embedded networks for networked control systems.

[BibT_eX]

[DOI]

Ratnesh Kumar

Songyan Xu

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

COSI: A Framework for the Design of Interconnection Networks.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2008

Outage-Based Rate Maximization in CDMA Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Interconnect modeling for improved system-level design optimization.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

Synthesis of Embedded Networks for Building Automation and Control.

[BibT_eX]

[DOI]

Massimiliano D'Angelo

Carlo Fischione

Eelco Scholte

Proceedings of the American Control Conference, 2008

2007

A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

System level design paradigms: Platform-based design and communication synthesis.

[BibT_eX]

[DOI]

Alvise Bonivento

Marco Sgroi

ACM Trans. Design Autom. Electr. Syst., 2006

Languages and Tools for Hybrid Systems Design.

[BibT_eX]

[DOI]

Found. Trends Electron. Des. Autom., 2006

Interchange Format for Hybrid Systems: Abstract Semantics.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005

An overview of embedded system design education at berkeley.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Embedded system education: a new paradigm for engineering schools?

[BibT_eX]

[DOI]

SIGBED Rev., 2005

A formal approach to system level design: metamodels and unified design environments.

[BibT_eX]

[DOI]

Felice Balarin

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Interchange Formats for Hybrid Systems: Review and Proposal.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2003

Efficient Synthesis of Networks On Chip.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

2002

Constraint-driven communication synthesis.

[BibT_eX]

[DOI]