| Automatic numeric abstractions for heap-manipulating programs S Magill, MH Tsai, P Lee, YK Tsay Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 121 | 2010 |
| THOR: A Tool for Reasoning about Shape and Arithmetic: Tool Paper S Magill, MH Tsai, P Lee, YK Tsay International Conference on Computer Aided Verification, 428-432, 2008 | 75 | 2008 |
| GOAL: A graphical tool for manipulating Büchi automata and temporal formulae YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan International Conference on Tools and Algorithms for the Construction and …, 2007 | 69 | 2007 |
| Verifying curve25519 software YF Chen, CH Hsu, HH Lin, P Schwabe, MH Tsai, BY Wang, BY Yang, ... Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 68 | 2014 |
| State of B\" uchi Complementation MH Tsai, S Fogarty, MY Vardi, YK Tsay Logical Methods in Computer Science 10, 2014 | 65 | 2014 |
| Automated assume-guarantee reasoning through implicit learning YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 58 | 2010 |
| GOAL for games, omega-automata, and logics MH Tsai, YK Tsay, YS Hwang Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 51 | 2013 |
| Advanced automata-based algorithms for program termination checking YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 44 | 2018 |
| Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai International Conference on Tools and Algorithms for the Construction and …, 2016 | 38 | 2016 |
| GOAL extended: Towards a research tool for omega automata and temporal logic YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo International Conference on Tools and Algorithms for the Construction and …, 2008 | 31 | 2008 |
| PAC learning-based verification and model synthesis YF Chen, C Hsieh, O Lengál, TJ Lii, MH Tsai, BY Wang, F Wang Proceedings of the 38th International Conference on Software Engineering …, 2016 | 29 | 2016 |
| Signed cryptographic program verification with typed cryptoline YF Fu, J Liu, X Shi, MH Tsai, BY Wang, BY Yang Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 21 | 2019 |
| Certified verification of algebraic properties on low-level mathematical constructs in cryptographic programs MH Tsai, BY Wang, BY Yang Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 21 | 2017 |
| Verifying arithmetic assembly programs in cryptographic primitives (invited talk) A Polyakov, MH Tsai, BY Wang, BY Yang 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 18 | 2018 |
| Büchi store: An open repository of Büchi automata YK Tsay, MH Tsai, JS Chang, YW Chang International Conference on Tools and Algorithms for the Construction and …, 2011 | 18 | 2011 |
| Formalization of CTL* in Calculus of Inductive Constructions MH Tsai, BY Wang Annual Asian Computing Science Conference, 316-330, 2006 | 16 | 2006 |
| Verifying arithmetic in cryptographic c programs J Liu, X Shi, MH Tsai, BY Wang, BY Yang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 12 | 2019 |
| Büchi Store: an open repository of-automata YK Tsay, MH Tsai, JS Chang, YW Chang, CS Liu International Journal on Software Tools for Technology Transfer 15 (2), 109-123, 2013 | 12 | 2013 |
| Comparing learning algorithms in automated assume-guarantee reasoning YF Chen, EM Clarke, A Farzan, F He, MH Tsai, YK Tsay, BY Wang, L Zhu Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 9 | 2010 |
| Verifying recursive programs using intraprocedural analyzers YF Chen, C Hsieh, MH Tsai, BY Wang, F Wang Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 8 | 2014 |
Yih-Kuen TsayProfessor of Information Management, National Taiwan UniversityBestätigte E-Mail-Adresse bei ntu.edu.tw
