トップページ  >  教員個別情報  >  発表論文
謝　橋 （HSIEH, Chiao）特任助教
情報科学, 次世代デジタル社会基盤研究領域

発表論文

17件
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, 1-11, 2025
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Proceedings of the ACM on Programming Languages, 7, OOPSLA2, 2196-2223, 2023
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, 41, 11, 4205-4216, 2022
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), 372-379, 2021
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, 4, OOPSLA, 1-30, 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 Dullerud
2020 IEEE International Conference on Robotics and Automation (ICRA), 6654-6660, 2020
Dione: A Protocol Verification System Built with Dafny for I/O Automata
Chiao Hsieh, Sayan Mitra
15th International Conference on Integrated Formal Methods, 227-245, 2019
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), 260-271, 2024
Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra
2024 American Control Conference (ACC), 3215-3222, 2024
Abstractions for Safety Assurance of Autonomous Systems
Chiao Hsieh
-, 2023
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), 17-20, 2022
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), 2287-2292, 2022
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, 714-724, 2016
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), 426-428, 2015
Verifying Recursive Program via Source-to-Source Program Transformation
Chiao Hsieh
-, 2015
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, 118-133, 2014
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), 327-333, 2012