Chiao Hsieh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSRE | GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. | Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic |
| 2022 | EMSOFT | 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 |
| 2020 | ICRA | 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 |
| 2019 | IFM | Dione: A Protocol Verification System Built with Dafny for I/O Automata. | Chiao Hsieh, Sayan Mitra |
| 2016 | ICSE | PAC learning-based verification and model synthesis. | Yu-Fang Chen, Chiao Hsieh, Ondrej Lengl, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2015 | TACAS | 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 |
| 2014 | SAS | Verifying Recursive Programs Using Intraprocedural Analyzers. | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2012 | DAC | Symbolic model checking on SystemC designs. | Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang |