2007 |
5 | EE | Yean-Ru Chen,
Pao-Ann Hsiung,
Sao-Jie Chen:
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.
SAFECOMP 2007: 451-464 |
4 | EE | Pao-Ann Hsiung,
Yean-Ru Chen,
Yen-Hung Lin:
Model Checking Safety-Critical Systems Using Safecharts.
IEEE Trans. Computers 56(5): 692-705 (2007) |
3 | EE | Yean-Ru Chen,
Pao-Ann Hsiung:
Automatic Failure Analysis Using Safecharts.
International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007) |
2006 |
2 | EE | Pao-Ann Hsiung,
Shang-Wei Lin,
Yean-Ru Chen,
Chun-Hsian Huang,
Jia-Jen Yeh,
Hong-Yu Sun,
Chao-Sheng Lin,
Hsiao-Win Liao:
Model Checking Timed Systems with Urgencies.
ATVA 2006: 67-81 |
2005 |
1 | EE | Shang-Wei Lin,
Pao-Ann Hsiung,
Chun-Hsian Huang,
Yean-Ru Chen:
Model Checking Prioritized Timed Automata.
ATVA 2005: 370-384 |