Model Checking Timed Systems with Urgencies. - Pao-Ann Hsiung; Shang-Wei Lin 001; Yean-Ru Chen; Chun-Hsian Huang; Jia-Jen Yeh; Hong-Yu Sun; Chao-Sheng Lin; Hsiao-Win Liao (ATVA, 2006)

Accelerating Coverage Estimation Through Partial Model Checking. - Yean-Ru Chen; Jia-Jen Yeh; Pao-Ann Hsiung; Sao-Jie Chen (IEEE Trans. Computers, 2014)