Yih-Kuen Tsay - RankMe

35 papers A* 5A 7B 3C 2Journal 11Unranked 7

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