|
Search the dblp DataBase
Yu-Fang Chen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:466-471 [Conf]
Automated Assume-Guarantee Reasoning through Implicit Learning. [Citation Graph (, )][DBLP]
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. [Citation Graph (, )][DBLP]
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. [Citation Graph (, )][DBLP]
Mediating for Reduction (on Minimizing Alternating Büchi Automata). [Citation Graph (, )][DBLP]
When Simulation Meets Antichains. [Citation Graph (, )][DBLP]
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. [Citation Graph (, )][DBLP]
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. [Citation Graph (, )][DBLP]
Learning Minimal Separating DFA's for Compositional Verification. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|