Tzu-Han Hsu 个人学术档案 - 学术资源搜索

20212022202320245 12 19 24

开放获取的出版物数量

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State University在 msu.edu 的电子邮件经过验证
Cesar SanchezProfessor, IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Stavros TripakisAssociate Professor, Northeastern University在 northeastern.edu 的电子邮件经过验证
Eunsuk KangAssociate Professor of Computer Science, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
Sarai SheinvaldORT Braude College在 braude.ac.il 的电子邮件经过验证
Raven BeutnerCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证

Tzu-Han Hsu

Graduate Research Assistant of Computer Science, Michigan State University

在 msu.edu 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2021	44	2021
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	8	2023
HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties TH Hsu, B Bonakdarpour, C Sánchez arXiv preprint arXiv:2109.12989, 2021	4	2021
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	2	2023
Mapping Synthesis for Hyperproperties TH Hsu, B Bonakdarpour, E Kang, S Tripakis 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 486-500, 2022	2	2022
Syntax-Guided Automated Program Repair for Hyperproperties R Beutner, TH Hsu, B Bonakdarpour, B Finkbeiner International Conference on Computer Aided Verification, 3-26, 2024		2024

系统目前无法执行此操作，请稍后再试。

文章 1–6

每年引用数