|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 34 occurrences of 33 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang |
Büchi Store: An Open Repository of Büchi Automata.  |
TACAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
Automatic numeric abstractions for heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstraction, program verification, termination, shape analysis, separation logic |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay |
State of Büchi Complementation. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic |
| 1 | Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
Learning Minimal Separating DFA's for Compositional Verification. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
THOR: A Tool for Reasoning about Shape and Arithmetic. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Yih-Kuen Tsay |
Preface. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Yih-Kuen Tsay (eds.) |
Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings |
ATVA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jei-Wen Teng, Yih-Kuen Tsay |
Composing Temporal-Logic Specifications with Machine Assistance. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software |
| 1 | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
Algorithmic Analysis of Programs with Well Quasi-ordered Domains. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay |
Compositional Verification in Linear-Time Temporal Logic. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay |
Deriving a Scalable Algorithm for Mutual Exclusion. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
read/write atomicity, scalability, refinement, mutual exclusion, local spins |
| 1 | Bengt Jonsson, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
General Decidability Theorems for Infinite-State Systems. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Rajive Bagrodia |
Deducing Fairness Properties in UNITY Logic - A New Completeness Result. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
fairness properties, temporal logic, completeness, UNITY |
| 1 | Bengt Jonsson, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Rajive Bagrodia |
Fault-Tolerant Algorithms for Fair Interprocess Synchronization. |
IEEE Trans. Parallel Distrib. Syst. |
1994 |
DBLP DOI BibTeX RDF |
fair interprocess synchronization, binary interaction problem, strong fairness property, binary interactions, message cost, dining philosophers problem, distributed algorithms, fault tolerant computing, concurrency control, embedding, synchronisation, response time, fault-tolerant algorithms, asynchronous processes |
| 1 | Yih-Kuen Tsay, Rajive Bagrodia |
An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem. |
WDAG |
1994 |
DBLP DOI BibTeX RDF |
Strong, Fault-Tolerance, Synchronization, Resource Allocation, Lower Bounds, Fairness |
| 1 | Yih-Kuen Tsay, Rajive Bagrodia |
Some Impossibility Results in Interprocess Synchronization. |
Distributed Computing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Rajive Bagrodia |
A Real-Time Algorithm for Fair Interprocess Synchronization. |
ICDCS |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")