Tzu-Han Hsu

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 11

Top Topics

Bounded Model Checking

Asynchronous Communication

Program Execution

Top Venues

Publications

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) (2024)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Bounded Model Checking for Asynchronous Hyperproperties. CoRR (2023)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) (2023)
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
Mapping Synthesis for Hyperproperties. CSF (2022)
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR (2021)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. TACAS (1) (2021)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. CoRR (2020)
Tzu-Han Hsu, Ching-Hsuan Chen, Nyan Ping Ju, Tsi-Ui Ik, Wen-Chih Peng, Chih-Chuan Wang, Yu-Shuen Wang, Yuan-Hsiang Lin, Yu-Chee Tseng, Jiun-Long Huang, Yu-Tai Ching
CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis. CoRR (2019)
Tzu-Han Hsu, Chih-Chuan Wang, Yuan-Hsiang Lin, Ching-Hsuan Chen, Nyan Ping Ju, Tsì-Uí Ik, Wen-Chih Peng, Yu-Shuen Wang, Yu-Chee Tseng, Jiun-Long Huang, Yu-Tai Ching
CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis. APNOMS (2019)
Wen-Rong Wu, Tzu-Han Hsu
A low-complexity precoder searching algorithm for MIMO-OFDM systems. PIMRC (2009)