| 2009 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Stephen Magill,
Ming-Hsien Tsai,
Peter Lee,
Yih-Kuen Tsay:
THOR: A Tool for Reasoning about Shape and Arithmetic.
CAV 2008: 428-432 |
| 4 | 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 |
|---|
| 3 | 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 |
| 2006 |
|---|
| 2 | EE | Ming-Hsien Tsai,
Bow-Yaw Wang:
Modular Formalization of Reactive Modules in COQ.
ASIAN 2006: 105-119 |
| 1 | EE | Ming-Hsien Tsai,
Bow-Yaw Wang:
Formalization of CTL* in Calculus of Inductive Constructions.
ASIAN 2006: 316-330 |
