Symbolic model checking on SystemC designs. - Chun-Nan Chou; Yen-Sheng Ho; Chiao Hsieh; Chung-Yang (Ric) Huang (DAC, 2012)

Verifying Recursive Programs Using Intraprocedural Analyzers. - Yu-Fang Chen 001; Chiao Hsieh; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (SAS, 2014)

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). - Yu-Fang Chen 001; Chiao Hsieh; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (TACAS, 2015)

PAC learning-based verification and model synthesis. - Yu-Fang Chen 001; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (ICSE, 2016)

Dione: A Protocol Verification System Built with Dafny for I/O Automata. - Chiao Hsieh; Sayan Mitra (IFM, 2019)

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 (ICRA, 2020)

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. - Chiao Hsieh; Hussein Sibai; Hebron Taylor; Sayan Mitra (CoRR, 2020)

Koord: a language for programming and verifying distributed robotics application. - Ritwika Ghosh; Chiao Hsieh; Sasa Misailovic; Sayan Mitra (Proc. ACM Program. Lang., 2020)

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. - Chiao Hsieh; Hussein Sibai; Hebron Taylor; Yifeng Ni; Sayan Mitra (ITSC, 2021)

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. - Chiao Hsieh; Keyur Joshi 001; Sasa Misailovic; Sayan Mitra (CoRR, 2021)

Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems. - Chiao Hsieh; Daniel Wu; Yubin Koh; Sayan Mitra (CASE, 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 (EMSOFT, 2022)

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. - Keyur Joshi 001; Chiao Hsieh; Sayan Mitra; Sasa Misailovic (CoRR, 2022)

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. - Chiao Hsieh; Yangge Li; Dawei Sun; Keyur Joshi 001; Sasa Misailovic; Sayan Mitra (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Perception Contracts for Safety of ML-Enabled Systems. - Angello Astorga; Chiao Hsieh; P. Madhusudan; Sayan Mitra (Proc. ACM Program. Lang., 2023)

Assuring Safety of Vision-Based Swarm Formation Control. - Chiao Hsieh; Yubin Koh; Yangge Li; Sayan Mitra (ACC, 2024)

GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. - Keyur Joshi 001; Chiao Hsieh; Sayan Mitra; Sasa Misailovic (ISSRE, 2024)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis. - Chiao Hsieh; Masaki Waga; Kohei Suenaga (HSCC, 2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version). - Chiao Hsieh; Masaki Waga; Kohei Suenaga (CoRR, 2025)