Yih-Kuen Tsay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
8
Active years
1992–2021
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Congruence Relations for Bchi Automata. | Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang |
| 2013 | CAV | GOAL for Games, Omega-Automata, and Logics. | Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang |
| 2011 | TACAS | Bchi Store: An Open Repository of Bchi Automata. | Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang |
| 2010 | CAV | Automated Assume-Guarantee Reasoning through Implicit Learning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2010 | ISoLA | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
| 2010 | POPL | Automatic numeric abstractions for heap-manipulating programs. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2009 | TACAS | Learning Minimal Separating DFA's for Compositional Verification. | Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2008 | CAV | THOR: A Tool for Reasoning about Shape and Arithmetic. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2008 | TACAS | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. | Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2008 | TACAS | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo |
| 2007 | TACAS | GOAL: A Graphical Tool for Manipulating Bchi Automata and Temporal Formulae. | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan |
| 2003 | FM | Composing Temporal-Logic Specifications with Machine Assistance. | Jei-Wen Teng, Yih-Kuen Tsay |
| 2000 | FOSSACS | Compositional Verification in Linear-Time Temporal Logic. | Yih-Kuen Tsay |
| 1996 | LICS | General Decidability Theorems for Infinite-State Systems. | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
| 1992 | ICDCS | A Real-Time Algorithm for Fair Interprocess Synchronization. | Yih-Kuen Tsay, Rajive L. Bagrodia |