2006 |
5 | EE | Xiaodong Yi,
Ji Wang,
Xuejun Yang:
Stateful Dynamic Partial-Order Reduction.
ICFEM 2006: 149-167 |
4 | EE | Xiaodong Yi,
Ji Wang,
Xuejun Yang:
Slicing Execution for Model Checking C Programs.
International Journal of Software Engineering and Knowledge Engineering 16(5): 747-768 (2006) |
2005 |
3 | EE | Xiaodong Yi,
Ji Wang,
Xuejun Yang:
Verification of C Programs using Slicing Execution.
QSIC 2005: 109-116 |
2003 |
2 | EE | Xuejun Yang,
Huadong Dai,
Yuhua Tang,
Xiaodong Yi:
A General Metric of Load Balancing in delta-Range.
APPT 2003: 311-321 |
1 | EE | Xiaodong Yi,
Xuejun Yang:
A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.
ICICS 2003: 280-291 |