A Fault-Tolerant Routing Scheme in Dynamic Networks. - Xiushan Feng; Chengde Han (J. Comput. Sci. Technol., 2001)

Automatic formal verification for scheduled VLIW code. - Xiushan Feng; Alan J. Hu (LCTES-SCOPES, 2002)

Partitioned model checking from software specifications. - Xiushan Feng; Alan J. Hu; Jin Yang 006 (ASP-DAC, 2005)

Cutpoints for formal equivalence verification of embedded software. - Xiushan Feng; Alan J. Hu (EMSOFT, 2005)

Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. - Xiushan Feng; Alan J. Hu (DAC, 2006)

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. - David W. Currie; Xiushan Feng; Masahiro Fujita; Alan J. Hu; Mark Kwan; Sreeranga P. Rajan (Int. J. Parallel Program., 2006)

Novel test detection to improve simulation efficiency - A commercial experiment. - Wen Chen 016; Nik Sumikawa; Li-C. Wang; Jayanta Bhadra; Xiushan Feng; Magdy S. Abadir (ICCAD, 2012)