Tzu-Han Hsu
Scholar

Tzu-Han Hsu

Google Scholar ID: haAJZpIAAAAJ
Graduate Research Assistant of Computer Science, Michigan State University
Formal MethodsModel CheckingHyperpropertiesInformation Flow Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
95
 
H-index
4
 
i10-index
2
 
Publications
9
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
5 items
Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs
2026
Cited
0
HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation
2026
Cited
0
HypRL: Reinforcement Learning of Control Policies for Hyperproperties
2025
Cited
0
Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions
arXiv.org · 2024
Cited
0
HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties
2021
Cited
0
Resume (English only)
Co-authors
13 total
Borzoo Bonakdarpour
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Co-author 2
Co-author 2
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Sarai Sheinvald
Sarai Sheinvald
ORT Braude College
Stavros Tripakis
Stavros Tripakis
Associate Professor, Northeastern University
Eunsuk Kang
Eunsuk Kang
Associate Professor of Computer Science, Carnegie Mellon University
Raven Beutner
Raven Beutner
CISPA Helmholtz Center for Information Security
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien