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)

Multi-objective placement of reconfigurable hardware tasks in real-time system. - Chun-Hsien Lu; Hsiao-Win Liao; Pao-Ann Hsiung (Int. J. Embed. Syst., 2010)