Hsieh Chiao

シェチャオ | Hsieh Chiao

Affiliation and department：
Job title： Program-Specific Researcher
Homepage URL (1)： https://hc825b.github.io

Research field (1)： Software

Research keywords (7)： Software Verification , Cyber-Physical System , Software Testing , Formal Verification , Formal Methods , Hybrid System , Model Checking

Research theme for competitive and other funds (2)：

2024 - 2026 Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability Certificates
2020 - 2025 Formal Analysis and Design of AI-intensive Cyber-Physical Systems

Papers (15)：

Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra. Assuring Safety of Vision-Based Swarm Formation Control. 2024 American Control Conference (ACC). 2024. 3215-3222
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra. Perception Contracts for Safety of ML-Enabled Systems. Proceedings of the ACM on Programming Languages. 2023. 7. OOPSLA2. 2196-2223
Chiao Hsieh. Abstractions for Safety Assurance of Autonomous Systems. 2023
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra. Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022. 41. 11. 4205-4216
Michael Abraham, Aaron Mayne, Tristan Perez, Italo Romani De Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra. Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. 2022 International Conference on Embedded Software (EMSOFT). 2022. 17-20

ｍore...

MISC (6)：

Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic. GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems. 2023
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra. Assuring safety of vision-based swarm formation control. CoRR. 2022. abs/2210.00982
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra. Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR. 2021. abs/2111.05534
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra. SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version). CoRR. 2020. abs/2009.04655
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud. CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR. 2019. abs/1910.01557

ｍore...

Lectures and oral presentations (10)：

GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
(The 35th IEEE International Symposium on Software Reliability Engineering (ISSRE) 2024)
Assuring Safety of Vision-Based Swarm Formation Control
(2024 American Control Conference (ACC) 2024)
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.
(2022 International Conference on Embedded Software (EMSOFT) 2022)
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
(2022 International Conference on Embedded Software (EMSOFT) 2022)
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.
(18th IEEE International Conference on Automation Science and Engineering (CASE) 2022)

ｍore...

Education (3)：

2015 - 2023 University of Illinois Urbana-Champaign College of Engineering Department of Computer Science
2013 - 2015 National Taiwan University College of Electrical Engineering & Computer Science Graduate Institute of Electronics Engineering
2007 - 2011 National Taiwan University College of Electrical Engineering & Computer Science Department of Electrical Engineering

Work history (7)：

2023/08 - Kyoto University Graduate School of Informatics Postdoctoral Researcher
2018/08 - 2023/05 University of Illinois Urbana-Champaign Coordinated Science Laboratory Graduate Research Assistant
2017/08 - 2018/05 University of Illinois Urbana-Champaign Department of Computer Science Teaching Assistant
2015/08 - 2016/12 University of Illinois Urbana-Champaign Department of Computer Science Research Assistant
2016/05 - 2016/08 IBM Research IBM Thomas J. Watson Research Center Research Intern

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page