Follow
Tzu-Han Hsu
Tzu-Han Hsu
Graduate Research Assistant of Computer Science, Michigan State University
Verified email at msu.edu - Homepage
Title
Cited by
Cited by
Year
Bounded model checking for hyperproperties
TH Hsu, C Sánchez, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2021
342021
Bounded model checking for asynchronous hyperproperties
TH Hsu, B Bonakdarpour, B Finkbeiner, C Sánchez
International Conference on Tools and Algorithms for the Construction and …, 2023
52023
Mapping Synthesis for Hyperproperties
TH Hsu, B Bonakdarpour, E Kang, S Tripakis
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 486-500, 2022
22022
HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties
TH Hsu, B Bonakdarpour, C Sánchez
arXiv preprint arXiv:2109.12989, 2021
22021
Efficient loop conditions for bounded model checking hyperproperties
TH Hsu, C Sánchez, S Sheinvald, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–5