General decidability theorems for infinite-state systems PA Abdulla, K Cerans, B Jonsson, YK Tsay Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 313-321, 1996 | 599 | 1996 |
Algorithmic analysis of programs with well quasi-ordered domains PA Abdulla, K Čerāns, B Jonsson, YK Tsay Information and Computation 160 (1-2), 109-127, 2000 | 251 | 2000 |
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 |
Learning minimal separating DFA’s for compositional verification YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 80 | 2009 |
Assumption/guarantee specifications in linear-time temporal logic B Jonsson, T Yih-Kuen Theoretical Computer Science 167 (1-2), 47-72, 1996 | 77 | 1996 |
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 |
Extending automated compositional verification to the full class of omega-regular languages A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 72 | 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 |
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 |
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 |
Some impossibility results in interprocess synchronization YK Tsay, RL Bagrodia Distributed Computing 6 (4), 221-231, 1993 | 32 | 1993 |
Compositional verification in linear-time temporal logic YK Tsay Foundations of Software Science and Computation Structures: Third …, 2000 | 27 | 2000 |
Assumption/guarantee specifications in linear-time temporal logic B Jonsson, YK Tsay TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995 | 20 | 1995 |
Fault-tolerant algorithms for fair interprocess synchronization YK Tsay, RL Bagrodia IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994 | 20 | 1994 |
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 |
Sequence based indexing and retrieval method for text documents YK Tsay, CL Yu, YF Chen US Patent App. 10/803,478, 2005 | 17 | 2005 |
Deriving a scalable algorithm for mutual exclusion YK Tsay Distributed Computing: 12th International Symposium, DISC’98 Andros, Greece …, 1998 | 16 | 1998 |
An algorithm with optimal failure locality for the dining philosophers problem YK Tsay, RL Bagrodia Distributed Algorithms: 8th International Workshop, WDAG'1994 Terschelling …, 1994 | 14 | 1994 |