Tzu-Han Hsu

17 papers A 2B 1C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Gray-box runtime enforcement of hyperproperties.
Acta Informatica
Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour
2025 J jnl
HypRL: Reinforcement Learning of Control Policies for Hyperproperties.
CoRR
Tzu-Han Hsu, Arshia Rafieioskouei, Borzoo Bonakdarpour
2024 A conf
Modern Fixed-Outline Floorplanning with Rectilinear Soft Modules.
ICCAD
Yu-Yang Chen, Yi-Chen Lin, Tzu-Han Hsu, Iris Hui-Ru Jiang, Tung-Chieh Chen, Tai-Chen Chen, Hua-Yu Chang
2024 — conf
Syntax-Guided Automated Program Repair for Hyperproperties.
CAV (3)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024 J jnl
Syntax-Guided Automated Program Repair for Hyperproperties.
CoRR
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024 J jnl
Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions.
CoRR
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen, Yang Chen, Zhongxin Guo, Tzu-Han Hsu, Peng Liu, Nanqing Luo
2023 — conf
Bounded Model Checking for Asynchronous Hyperproperties.
TACAS (1)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023 J jnl
Bounded Model Checking for Asynchronous Hyperproperties.
CoRR
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023 — conf
Efficient Loop Conditions for Bounded Model Checking Hyperproperties.
TACAS (1)
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023 J jnl
Efficient Loop Conditions for Bounded Model Checking Hyperproperties.
CoRR
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2022 A conf
Mapping Synthesis for Hyperproperties.
CSF
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
2021 — conf
Bounded Model Checking for Hyperproperties.
TACAS (1)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
2021 J jnl
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.
CoRR
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
2020 J jnl
Bounded Model Checking for Hyperproperties.
CoRR
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
2019 C conf
CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis.
APNOMS
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
2019 J jnl
CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis.
CoRR
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
2009 B conf
A low-complexity precoder searching algorithm for MIMO-OFDM systems.
PIMRC
Wen-Rong Wu, Tzu-Han Hsu