基本情報

全学メールアドレス

• 全学メールアドレス

  hsieh.chiao.7kkyoto-u.ac.jp

学位

• 2015年06月13日

  M.S.(National Taiwan University）
• 2023年05月13日

  Ph.D.(University of Illinois at Urbana-Champaign）

出身学校・専攻等

• National Taiwan University, Department of Electrical Engineering, 卒業

経歴

• 自 2025年01月, 至 現在

  京都大学, 大学院情報学研究科 通信情報システム専攻, 特定助教
• 自 2023年08月, 至 2024年12月

  京都大学, 大学院情報学研究科 通信情報システム専攻, 特定研究員
• 自 2018年08月, 至 2023年05月

  イリノイ大学アーバナ・シャンペーン校, Coordinated Science Laboratory, リサーチアシスタント
• 自 2017年08月, 至 2018年05月

  イリノイ大学アーバナ・シャンペーン校, 計算機科学, ティーチングアシスタント
• 自 2015年08月, 至 2016年12月

  イリノイ大学アーバナ・シャンペーン校, 計算機科学, リサーチアシスタント
• 自 2016年05月, 至 2016年08月

  IBM基礎研究所, トーマス・J・ワトソン研究所, リサーチインターン
• 自 2013年10月, 至 2015年07月

  中央研究院, 資訊科學研究所, リサーチアシスタント
• 自 2012年08月, 至 2013年08月

  中央研究院, 資訊科學研究所, リサーチアシスタント

ID,URL

• ORCID ID

  0000-0001-8339-9915

• J-Global ID

  202301016563137543

• 研究者番号

  71006426

• 外部リンク

  https://hc825b.github.io

researchmap URL

• https://researchmap.jp/hc825b

研究

研究キーワード

• ソフトウェア検証
• サイバーフィジカルシステム
• ソフトウェアテスト
• 形式的検証
• 形式手法
• ハイブリッドシステム
• モデル検査

研究分野

• 情報通信, ソフトウェア, ソフトウェア工学、形式手法、プログラミング言語

論文

• Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis

  Chiao Hsieh; Masaki Waga; Kohei Suenaga

  Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025年05月06日, 査読有り, 筆頭著者, 責任著者

  
• GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems

  Keyur Joshi; Chiao Hsieh; Sayan Mitra; Sasa Misailovic

  2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE), 2024年10月28日, 査読有り

  
• Assuring Safety of Vision-Based Swarm Formation Control

  Chiao Hsieh; Yubin Koh; Yangge Li; Sayan Mitra

  2024 American Control Conference (ACC), 2024年07月10日, 査読有り, 筆頭著者, 責任著者

  
• Abstractions for Safety Assurance of Autonomous Systems

  Chiao Hsieh

  2023年04月28日, 筆頭著者

  
• Verifying Recursive Program via Source-to-Source Program Transformation

  Chiao Hsieh

  2015年01月01日, 筆頭著者

  
• Perception Contracts for Safety of ML-Enabled Systems

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

  Proceedings of the ACM on Programming Languages, 2023年10月16日, 査読有り, 筆頭著者

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

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

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022年11月, 査読有り, 筆頭著者, 責任著者

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

  Michael Abraham; Aaron Mayne; Tristan Perez; Italo Romani De Oliveira; Huafeng Yu; Chiao Hsieh; Yangge Li; Dawei Sun; Sayan Mitra

  2022 International Conference on Embedded Software (EMSOFT), 2022年10月, 査読有り, 責任著者

  
• Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems

  Chiao Hsieh; Daniel Wu; Yubin Koh; Sayan Mitra

  2022 IEEE 18th International Conference on Automation Science and Engineering (CASE), 2022年08月20日, 査読有り, 筆頭著者, 責任著者

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

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

  2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 2021年09月19日, 査読有り, 筆頭著者, 責任著者

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

  Ritwika Ghosh; Chiao Hsieh; Sasa Misailovic; Sayan Mitra

  Proceedings of the ACM on Programming Languages, 2020年11月13日, 査読有り

  
• 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 Dullerud

  2020 IEEE International Conference on Robotics and Automation (ICRA), 2020年05月, 査読有り

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

  Chiao Hsieh; Sayan Mitra

  15th International Conference on Integrated Formal Methods, 2019年11月22日, 査読有り, 筆頭著者, 責任著者

  
• PAC learning-based verification and model synthesis

  Yu-Fang Chen; Chiao Hsieh; Ondřej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang

  Proceedings of the 38th International Conference on Software Engineering, 2016年05月14日, 査読有り

  
• CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation

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

  21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015年04月, 査読有り, 責任著者

  
• Verifying Recursive Programs Using Intraprocedural Analyzers

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

  21st International Symposium on Static Analysis, 2014年09月, 査読有り, 責任著者

  
• Symbolic model checking on SystemC designs.

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

  The 49th Annual Design Automation Conference 2012(DAC), 2012年, 査読有り

  

MISC

• Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)

  Chiao Hsieh; Masaki Waga; Kohei Suenaga

  2025年03月01日

  
• GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems

  Keyur Joshi; Chiao Hsieh; Sayan Mitra; Sasa Misailovic

  2023年07月

  
• Assuring safety of vision-based swarm formation control.

  Chiao Hsieh; Yangge Li; Yubin Koh; Sayan Mitra

  CoRR, 2022年

  
• 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 (Extended Version)

  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

  CoRR, 2019年

  
• 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

  CoRR, 2015年

  

講演・口頭発表等

• Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis

  Chiao Hsieh

  The 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025年05月08日

  
• Perception Contracts for Safety of ML-Enabled Systems

  Chiao Hsieh

  第27回プログラミングおよびプログラミング言語ワークショップ, 2025年03月07日

  
• GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems

  Chiao Hsieh

  The 35th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2024年10月30日

  
• Assuring Safety of Vision-Based Swarm Formation Control

  Chiao Hsieh

  2024 American Control Conference (ACC), 2024年07月11日

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

  Chiao Hsieh

  2022 International Conference on Embedded Software (EMSOFT), 2022年10月10日

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

  Chiao Hsieh

  2022 International Conference on Embedded Software (EMSOFT), 2022年10月11日

  
• Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.

  Chiao Hsieh

  18th IEEE International Conference on Automation Science and Engineering (CASE), 2022年08月

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

  Chiao Hsieh

  24th IEEE International Intelligent Transportation Systems Conference (ITSC), 2021年09月22日

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

  Chiao Hsieh

  International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2020年11月

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

  Chiao Hsieh

  15th International Conference on Integrated Formal Methods (IFM), 2019年12月

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

  Chiao Hsieh

  21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015年04月

  
• Verifying Recursive Programs Using Intraprocedural Analyzers.

  Chiao Hsieh

  21st International Symposium on Static Analysis (SAS), 2014年09月

  

外部資金：科学研究費補助金

• Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability Certificates

  研究活動スタート支援

  1001:情報科学、情報工学およびその関連分野

  京都大学

  Hsieh Chiao; 謝橋

  自 2024年07月31日, 至 2026年03月31日, 交付

  形式検証;サイバーフィジカルシステム;安定性解析;ブラックボックスモデル

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24K23861/

学術・社会貢献

委員歴

• 自 2025年, 至 2025年

  Artifact Evaluation Committee, The 23rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2025)
• 自 2025年, 至 2025年

  Artifact Evaluation Committee, The 31st International Symposium on Model Checking Software (SPIN 2025)
• 自 2022年, 至 2022年

  Artifact Evaluation Committee, 2022 European Conference on Object-Oriented Programming (ECOOP 2022)