受强制性开放获取政策约束的文章 - Tzu-Han Hsu了解详情
可在其他位置公开访问的文章：5 篇
Bounded model checking for hyperproperties
TH Hsu, C Sánchez, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2021
强制性开放获取政策： US National Science Foundation, Government of Spain
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
强制性开放获取政策： US National Science Foundation, German Research Foundation, European Commission
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
强制性开放获取政策： US National Science Foundation
Mapping Synthesis for Hyperproperties
TH Hsu, B Bonakdarpour, E Kang, S Tripakis
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 486-500, 2022
强制性开放获取政策： US National Science Foundation
Syntax-Guided Automated Program Repair for Hyperproperties
R Beutner, TH Hsu, B Bonakdarpour, B Finkbeiner
International Conference on Computer Aided Verification, 3-26, 2024
强制性开放获取政策： European Commission
出版信息和资助信息由计算机程序自动确定