Yih-Kuen Tsay

According to our database, Yih-Kuen Tsay authored at least 32 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Towards a Grand Unification of Büchi Complementation Constructions.

Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay

Proceedings of the Principles of Systems Design, 2022

2021

Congruence Relations for Büchi Automata.

Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi

CoRR, 2021

Congruence Relations for Büchi Automata.

Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle.

Yih-Kuen Tsay, Moshe Y. Vardi

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2014

State of Büchi Complementation.

Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay

Log. Methods Comput. Sci., 2014

2013

Büchi Store: an open repository of ω-automata.

Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, Chi-Shiang Liu

Int. J. Softw. Tools Technol. Transf., 2013

GOAL for Games, Omega-Automata, and Logics.

Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Büchi Store: An Open Repository of Büchi Automata.

Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

Automatic numeric abstractions for heap-manipulating programs.

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automated Assume-Guarantee Reasoning through Implicit Learning.

Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.

Yih-Kuen Tsay, Bow-Yaw Wang

Int. J. Found. Comput. Sci., 2009

Tool support for learning Büchi automata and linear temporal logic.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang

Formal Aspects Comput., 2009

Learning Minimal Separating DFA's for Compositional Verification.

Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

THOR: A Tool for Reasoning about Shape and Arithmetic.

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Preface.

Doron A. Peled, Yih-Kuen Tsay

Int. J. Found. Comput. Sci., 2007

GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2003

Composing Temporal-Logic Specifications with Machine Assistance.

Jei-Wen Teng, Yih-Kuen Tsay

Proceedings of the FME 2003: Formal Methods, 2003

2000

Algorithmic Analysis of Programs with Well Quasi-ordered Domains.

Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay

Inf. Comput., 2000

Compositional Verification in Linear-Time Temporal Logic.

Yih-Kuen Tsay

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1998

Deriving a Scalable Algorithm for Mutual Exclusion.

Yih-Kuen Tsay

Proceedings of the Distributed Computing, 12th International Symposium, 1998

1996

Assumption/Guarantee Specifications in Linear-Time Temporal Logic.

Bengt Jonsson, Yih-Kuen Tsay

Theor. Comput. Sci., 1996

General Decidability Theorems for Infinite-State Systems.

Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay

Proceedings of the Proceedings, 1996

1995

Deducing Fairness Properties in UNITY Logic - A New Completeness Result.

Yih-Kuen Tsay, Rajive L. Bagrodia

ACM Trans. Program. Lang. Syst., 1995

Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract).

Bengt Jonsson, Yih-Kuen Tsay

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

Fault-Tolerant Algorithms for Fair Interprocess Synchronization.

Yih-Kuen Tsay, Rajive L. Bagrodia

IEEE Trans. Parallel Distributed Syst., 1994

An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem.

Yih-Kuen Tsay, Rajive L. Bagrodia

Proceedings of the Distributed Algorithms, 8th International Workshop, 1994

Operational Implication of Conditional Unity Properties.

Yih-Kuen Tsay, Rajive L. Bagrodia

Proceedings of the Specification of Parallel Algorithms, 1994

1993

Some Impossibility Results in Interprocess Synchronization.

Yih-Kuen Tsay, Rajive L. Bagrodia

Distributed Comput., 1993

1992

A Real-Time Algorithm for Fair Interprocess Synchronization.

Yih-Kuen Tsay, Rajive L. Bagrodia

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992