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

講演・口頭発表

12件
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
2022 International Conference on Embedded Software (EMSOFT), 2022
Koord: a language for programming and verifying distributed robotics application.
ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), 2021
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.
24th IEEE International Intelligent Transportation Systems Conference (ITSC), 2021
Dione: A Protocol Verification System Built with Dafny for I/O Automata.
15th International Conference on Integrated Formal Methods (IFM), 2019
Perception Contracts for Safety of ML-Enabled Systems
第27回プログラミングおよびプログラミング言語ワークショップ, 2025
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
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
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.
18th IEEE International Conference on Automation Science and Engineering (CASE), 2022
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015
Verifying Recursive Programs Using Intraprocedural Analyzers.
21st International Symposium on Static Analysis (SAS), 2014