Hsieh Chiao ＨｓｉｅｈＣｈｉａｏ (謝橋)

… Alternative Names

謝橋

Less

Researcher Number	71006426
Other IDs	https://orcid.org/0000-0001-8339-9915
Affiliation (Current)	2026: 北陸先端科学技術大学院大学, 先端科学技術研究科, 特任助教
Affiliation (based on the past Project Information) *help	2026: 北陸先端科学技術大学院大学, 先端科学技術研究科, 特任助教 2024: 京都大学, 情報学研究科, 特定助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / 1001:Information science, computer engineering, and related fields Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator サイバーフィジカルシステム / 形式検証 / 人工知能 / ソフトウェア検証 / ブラックボックスモデル / 安定性解析 Except Principal Investigator ソフトウェア / 人工知能 / 形式検証 / ブラックボックス検査 / 形式仕様 / AI安全性 / ソフトウェア検証

Trustworthy Cyber-Physical Systems via Contracts for AI-Enabled PerceptionPrincipal Investigator
- Principal Investigator
  
  Hsieh Chiao (謝橋)
- Project Period (FY)
  2026 – 2028
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
AIを含むソフトウェアのための形式検証手法
- Principal Investigator
  
  末永幸平
- Project Period (FY)
  2025 – 2029
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University
Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability CertificatesPrincipal Investigator
- Principal Investigator
  
  Hsieh Chiao (謝橋)
- Project Period (FY)
  2024 – 2025
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University

All 2025 2024

All Journal Article Presentation

[Journal Article] Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis2025
- Author(s)
  Chiao Hsieh, Masaki Waga, Kohei Suenaga
- Journal Title
  
  Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control
  
  Volume: - Pages: 1-11
- DOI
  10.1145/3716863.3718047
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24K23861
[Journal Article] GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems2024
- Author(s)
  Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
- Journal Title
  
  Proceedings of 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)
  
  Volume: - Pages: 260-271
- DOI
  10.1109/issre62328.2024.00033
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24K23861
[Presentation] Perception Contracts for Safety of ML-Enabled Systems2025
- Author(s)
  Chiao Hsieh
- Organizer
  第27回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-24K23861
[Presentation] GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems2024
- Author(s)
  Chiao Hsieh
- Organizer
  2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24K23861

1. 末永幸平 (70633692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 和賀正樹 (00899007)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 五十嵐淳 (40323456)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 池渕未来 (70961796)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 関山太朗 (80828476)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hsieh Chiao Ｈｓｉｅｈ Ｃｈｉａｏ (謝 橋)

謝橋

Research Projects

Research Products

Co-Researchers

Trustworthy Cyber-Physical Systems via Contracts for AI-Enabled PerceptionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

AIを含むソフトウェアのための形式検証手法

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability CertificatesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis2025

Author(s)

Journal Title

DOI

Data Source

[Journal Article] GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems2024

Author(s)

Journal Title

DOI

Data Source

[Presentation] Perception Contracts for Safety of ML-Enabled Systems2025

Author(s)

Organizer

Data Source

[Presentation] GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems2024

Author(s)

Organizer

Data Source

Hsieh Chiao ＨｓｉｅｈＣｈｉａｏ (謝橋)