| 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 | 120 | 2010 |
| THOR: A Tool for Reasoning about Shape and Arithmetic: Tool Paper S Magill, MH Tsai, P Lee, YK Tsay Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 74 | 2008 |
| GOAL: A graphical tool for manipulating Büchi automata and temporal formulae YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 68 | 2007 |
| State of Büchi complementation YK Tsay, MY Vardi, S Fogarty, MH Tsai Logical Methods in Computer Science 10, 2014 | 64 | 2014 |
| 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 | 63 | 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 | 55 | 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 | 36 | 2018 |
| Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 34 | 2016 |
| GOAL extended: Towards a research tool for omega automata and temporal logic YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 32 | 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 | 26 | 2016 |
| 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 | 18 | 2017 |
| Büchi store: An open repository of Büchi automata YK Tsay, MH Tsai, JS Chang, YW Chang Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 18 | 2011 |
| Formalization of CTL* in Calculus of Inductive Constructions MH Tsai, BY Wang Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007 | 16 | 2007 |
| 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 | 13 | 2019 |
| 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 | 13 | 2018 |
| 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 ISoLA (1) 6415, 643-657, 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 |
| Tool support for learning Büchi automata and linear temporal logic YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan, CJ Luo, JS Chang Formal aspects of computing 21 (3), 259-275, 2009 | 8 | 2009 |
Yih-Kuen TsayProfessor of Information Management, National Taiwan UniversityVerified email at ntu.edu.tw
