 | 2006 |
|---|
| 6 |       | Xiushan Feng,
Alan J. Hu:
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.
DAC 2006: 1063-1068 |
| 5 | | David W. Currie,
Xiushan Feng,
Masahiro Fujita,
Alan J. Hu,
Mark Kwan,
Sreeranga P. Rajan:
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
International Journal of Parallel Programming 34(1): 61-91 (2006) |
| 2005 |
|---|
| 4 | | Xiushan Feng,
Alan J. Hu,
Jin Yang:
Partitioned model checking from software specifications.
ASP-DAC 2005: 583-587 |
| 3 | | Xiushan Feng,
Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software.
EMSOFT 2005: 307-316 |
| 2002 |
|---|
| 2 | | Xiushan Feng,
Alan J. Hu:
Automatic formal verification for scheduled VLIW code.
LCTES-SCOPES 2002: 85-92 |
| 2001 |
|---|
| 1 | | Xiushan Feng,
Chengde Han:
A Fault-Tolerant Routing Scheme in Dynamic Networks.
J. Comput. Sci. Technol. 16(4): 371-380 (2001) |
