| 2009 |
|---|
| 5 | EE | Yu-Fang Chen,
Azadeh Farzan,
Edmund M. Clarke,
Yih-Kuen Tsay,
Bow-Yaw Wang:
Learning Minimal Separating DFA's for Compositional Verification.
TACAS 2009: 31-45 |
| 4 | EE | 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. 21(3): 259-275 (2009) |
| 2008 |
|---|
| 3 | EE | 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: 2-17 |
| 2 | EE | 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: 346-350 |
| 2007 |
|---|
| 1 | EE | 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: 466-471 |
