|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
Counter-Example Guided Fence Insertion under TSO.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll |
Algorithms for Synthesizing Priorities in Component-based Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Advanced Ramsey-Based Büchi Automata Inclusion Testing. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll |
Algorithms for Synthesizing Priorities in Component-Based Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Ahmed Rezine (eds.) |
Proceedings 12th International Workshop on Verification of Infinite-State Systems |
INFINITY |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine |
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar |
When Simulation Meets Antichains. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. |
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 | 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 | 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 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar |
Mediating for Reduction (on Minimizing Alternating Büchi Automata). |
FSTTCS |
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 | 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 |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")