Concepedia

Chiao Hsieh

CH

6

Publications

148

Citations

6

H-Index

2002

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

National Taiwan University

Chiao Hsieh is an author at University of Illinois Urbana-Champaign specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware Testing

Publications per year

2002–2023

6

Publications

6

Symbolic model checking on SystemC designs

Chun‐Nan Chou, Yen-Sheng Ho, Chiao Hsieh et al. · 2012 · 41 citations

Engineering, Verification, Computer-aided Verification +18

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Chiao Hsieh, Yangge Li, Dawei Sun et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2022 · 31 citations · Full text

Engineering, Verification, Computer-aided Verification +19

A study of the cache and branch performance issues with running Java on current hardware platforms

Chiao Hsieh, Marisa Conte, T.L. Johnson et al. · 2002 · 23 citations

Engineering, Compiler Technology, Computer Architecture +21

PAC learning-based verification and model synthesis

Yu‐Fang Chen, Chiao Hsieh, Ondřej Lengál et al. · 2016 · 21 citations

Artificial Intelligence, Program Checking, Engineering +21

Koord: a language for programming and verifying distributed robotics application

Ritwika Ghosh, Chiao Hsieh, Saša Misailovíc et al. · Proceedings of the ACM on Programming Languages · 2020 · 17 citations · Full text

Robotic Systems, Engineering, Verification +25

Rows per page

1–5 of 6