Verifying Timed and Linear Hybrid Rule-Systems with RED. - Farn Wang; Rong-Shiung Wu; Geng-Dian Huang (SEKE, 2005)

Test automation for kernel code and disk arrays with virtual devices. - Lin-Zan Cai; Rong-Shiung Wu; Wen-Ting Huang; Farn Wang (ASE, 2007)