Tzu-Han Hsu

According to our database, Tzu-Han Hsu authored at least 7 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Efficient Loop Conditions for Bounded Model Checking Hyperproperties.

Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Bounded Model Checking for Asynchronous Hyperproperties.

Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Mapping Synthesis for Hyperproperties.

Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.

Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez

CoRR, 2021

Bounded Model Checking for Hyperproperties.

Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019

CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis.

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

Proceedings of the 20th Asia-Pacific Network Operations and Management Symposium, 2019

2009

A low-complexity precoder searching algorithm for MIMO-OFDM systems.

Wen-Rong Wu, Tzu-Han Hsu

Proceedings of the IEEE 20th International Symposium on Personal, 2009