Travelled to:1 × Canada
1 × Hungary
1 × Italy
1 × Portugal
1 × Russia
1 × Spain
2 × Germany
2 × United Kingdom
3 × USA
Collaborated with:M.Tsai B.Wang B.Jonsson Y.Chen E.M.Clarke A.Farzan S.Magill P.Lee J.Teng ∅ W.Chan Y.Hwang J.Chang Y.Chang S.Fogarty M.Y.Vardi P.A.Abdulla K.Cerans C.Luo K.Wu
Talks about:tempor (6) logic (6) composit (5) automata (4) reason (4) büchi (4) autom (4) guarante (3) regular (3) specif (3)
Person: Yih-Kuen Tsay
DBLP: Tsay:Yih=Kuen
Contributed to:
2013
20112010
2010
2010200920082008200920082007
2003
2000
1996
19951996Wrote 17 papers:
- CAV-2013-TsaiTH #automaton #game studies #logic
- GOAL for Games, ω-Automata, and Logics (MHT, YKT, YSH), pp. 883–889.
- TACAS-2011-TsayTCC #automaton #repository
- Büchi Store: An Open Repository of Büchi Automata (YKT, MHT, JSC, YWC), pp. 262–266.
- CAV-2010-ChenCFTTW #automation #learning #reasoning
- Automated Assume-Guarantee Reasoning through Implicit Learning (YFC, EMC, AF, MHT, YKT, BYW), pp. 511–526.
- CIAA-2010-TsaiFVT #automaton
- State of Büchi Complementation (MHT, SF, MYV, YKT), pp. 261–271.
- POPL-2010-MagillTLT #abstraction #automation #source code
- Automatic numeric abstractions for heap-manipulating programs (SM, MHT, PL, YKT), pp. 211–222.
- TACAS-2009-ChenFCTW #automaton #composition #learning #verification
- Learning Minimal Separating DFA’s for Compositional Verification (YFC, AF, EMC, YKT, BYW), pp. 31–45.
- CAV-2008-MagillTLT #named #reasoning
- THOR: A Tool for Reasoning about Shape and Arithmetic (SM, MHT, PL, YKT), pp. 428–432.
- CIAA-2008-TsayW #automation #composition #reasoning
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 36–45.
- CIAA-J-2008-TsayW09 #automation #composition #reasoning
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 747–762.
- TACAS-2008-FarzanCCTW #automation #composition #regular expression #verification
- Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.
- TACAS-2008-TsayCTCL #automaton #logic #research #towards
- GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.
- TACAS-2007-TsayCTWC #automaton #named #visual notation
- GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae (YKT, YFC, MHT, KNW, WCC), pp. 466–471.
- FME-2003-TengT #specification
- Composing Temporal-Logic Specifications with Machine Assistance (JWT, YKT), pp. 719–738.
- FoSSaCS-2000-Tsay #composition #linear #logic #verification
- Compositional Verification in Linear-Time Temporal Logic (YKT), pp. 344–358.
- LICS-1996-AbdullaCJT #decidability #infinity #theorem
- General Decidability Theorems for Infinite-State Systems (PAA, KC, BJ, YKT), pp. 313–321.
- TAPSOFT-1995-JonssonT #linear #logic #specification
- Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract) (BJ, YKT), pp. 262–276.
- TAPSOFT-J-1995-JonssonT96 #linear #logic #specification
- Assumption/Guarantee Specifications in Linear-Time Temporal Logic (BJ, YKT), pp. 47–72.