Chiao Hsieh

22 papers A* 3A 2B 2C 1Misc 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version).
CoRR
Chiao Hsieh, Masaki Waga, Kohei Suenaga
2025 — conf
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis.
HSCC
Chiao Hsieh, Masaki Waga, Kohei Suenaga
2024 C conf
Assuring Safety of Vision-Based Swarm Formation Control.
ACC
Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra
2024 A conf
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems.
ISSRE
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2023 J jnl
Perception Contracts for Safety of ML-Enabled Systems.
Proc. ACM Program. Lang.
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
2022 J jnl
Assuring safety of vision-based swarm formation control.
CoRR
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
2022 J jnl
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.
CoRR
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2022 Misc conf
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.
EMSOFT
Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
2022 — conf
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.
CASE
Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra
2022 J jnl
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2021 — conf
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.
ITSC
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra
2021 J jnl
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.
CoRR
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2020 A* conf
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.
ICRA
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
2020 J jnl
Koord: a language for programming and verifying distributed robotics application.
Proc. ACM Program. Lang.
Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
2020 J jnl
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation.
CoRR
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
2019 J jnl
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination.
CoRR
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
2019 B conf
Dione: A Protocol Verification System Built with Dafny for I/O Automata.
IFM
Chiao Hsieh, Sayan Mitra
2016 A* conf
PAC learning-based verification and model synthesis.
ICSE
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2015 A conf
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
TACAS
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2015 J jnl
PAC Learning-Based Verification and Model Synthesis.
CoRR
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2014 B conf
Verifying Recursive Programs Using Intraprocedural Analyzers.
SAS
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2012 A* conf
Symbolic model checking on SystemC designs.
DAC
Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang