Yih-Kuen Tsay

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 4

Top Topics

Mazurkiewicz Traces

Data Sets From Uci

Binary Relations

Top Venues

Int. J. Softw. Tools Technol. Transf.

Principles of Systems Design

Publications

Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design (2022)
Yih-Kuen Tsay, Moshe Y. Vardi
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning (2021)
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Congruence Relations for Büchi Automata. FM (2021)
Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi
Congruence Relations for Büchi Automata. CoRR (2021)
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
State of Büchi Complementation. Log. Methods Comput. Sci. 10 (4) (2014)
Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, Chi-Shiang Liu
Büchi Store: an open repository of $$\omega $$ -automata. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)
Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang
GOAL for Games, Omega-Automata, and Logics. CAV (2013)
Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang
Büchi Store: An Open Repository of Büchi Automata. TACAS (2011)
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
Automated Assume-Guarantee Reasoning through Implicit Learning. CAV (2010)
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. ISoLA (1) (2010)
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
State of Büchi Complementation. CIAA (2010)
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
Automatic numeric abstractions for heap-manipulating programs. POPL (2010)
Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
Learning Minimal Separating DFA's for Compositional Verification. TACAS (2009)
Yih-Kuen Tsay, Bow-Yaw Wang
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. Int. J. Found. Comput. Sci. 20 (4) (2009)
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang
Tool support for learning Büchi automata and linear temporal logic. Formal Aspects Comput. 21 (3) (2009)
Yih-Kuen Tsay, Bow-Yaw Wang
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. CIAA (2008)
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. TACAS (2008)
Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. TACAS (2008)
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV (2008)
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. TACAS (2007)
Doron A. Peled, Yih-Kuen Tsay
Preface. Int. J. Found. Comput. Sci. 18 (1) (2007)
Jei-Wen Teng, Yih-Kuen Tsay
Composing Temporal-Logic Specifications with Machine Assistance. FME (2003)
Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
Algorithmic Analysis of Programs with Well Quasi-ordered Domains. Inf. Comput. 160 (1-2) (2000)
Yih-Kuen Tsay
Compositional Verification in Linear-Time Temporal Logic. FoSSaCS (2000)
Yih-Kuen Tsay
Deriving a Scalable Algorithm for Mutual Exclusion. DISC (1998)
Bengt Jonsson, Yih-Kuen Tsay
Assumption/Guarantee Specifications in Linear-Time Temporal Logic. Theor. Comput. Sci. 167 (1&2) (1996)
Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
General Decidability Theorems for Infinite-State Systems. LICS (1996)
Yih-Kuen Tsay, Rajive L. Bagrodia
Deducing Fairness Properties in UNITY Logic - A New Completeness Result. ACM Trans. Program. Lang. Syst. 17 (1) (1995)
Bengt Jonsson, Yih-Kuen Tsay
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). TAPSOFT (1995)
Yih-Kuen Tsay, Rajive L. Bagrodia
An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem. WDAG (1994)
Yih-Kuen Tsay, Rajive L. Bagrodia
Operational Implication of Conditional Unity Properties. Specification of Parallel Algorithms (1994)
Yih-Kuen Tsay, Rajive L. Bagrodia
Fault-Tolerant Algorithms for Fair Interprocess Synchronization. IEEE Trans. Parallel Distributed Syst. 5 (7) (1994)
Yih-Kuen Tsay, Rajive L. Bagrodia
Some Impossibility Results in Interprocess Synchronization. Distributed Comput. 6 (4) (1993)
Yih-Kuen Tsay, Rajive L. Bagrodia
A Real-Time Algorithm for Fair Interprocess Synchronization. ICDCS (1992)