Chiao Hsieh

According to our database, Chiao Hsieh authored at least 16 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Perception Contracts for Safety of ML-Enabled Systems.

Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra

Proc. ACM Program. Lang., October, 2023

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

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

Assuring safety of vision-based swarm formation control.

Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra

CoRR, 2022

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.

Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

CoRR, 2022

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.

Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra

Proceedings of the International Conference on Embedded Software, 2022

Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.

Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.

Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra

CoRR, 2021

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.

Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2020

Koord: a language for programming and verifying distributed robotics application.

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra

Proc. ACM Program. Lang., 2020

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation.

Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra

CoRR, 2020

CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.

Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud

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

2019

Dione: A Protocol Verification System Built with Dafny for I/O Automata.

Chiao Hsieh, Sayan Mitra

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2016

PAC learning-based verification and model synthesis.

Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Verifying Recursive Programs Using Intraprocedural Analyzers.

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Static Analysis - 21st International Symposium, 2014

2012

Symbolic model checking on SystemC designs.

Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang

Proceedings of the 49th Annual Design Automation Conference 2012, 2012