BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tsay:Yih=Kuen

Contributed to:

CAV 20132013
TACAS 20112011
CAV 20102010
CIAA 20102010
POPL 20102010
TACAS 20092009
CAV 20082008
CIAA 20082008
CIAA 20082009
TACAS 20082008
TACAS 20072007
FME 20032003
FoSSaCS 20002000
LICS 19961996
TAPSOFT CAAP/FASE 19951995
TAPSOFT 19951996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.