 | 2006 |
|---|
| 6 |       | Xiaodong Yi,
Ji Wang,
Xuejun Yang:
Stateful Dynamic Partial-Order Reduction.
ICFEM 2006: 149-167 |
| 5 | | Ji Wang,
Xiaodong Yi,
Xuejun Yang:
Towards a Framework for Scalable Model Checking of Concurrent C Programs.
ISoLA 2006: 355-362 |
| 4 | | 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 | | Xiaodong Yi,
Ji Wang,
Xuejun Yang:
Verification of C Programs using Slicing Execution.
QSIC 2005: 109-116 |
| 2003 |
|---|
| 2 | | Xuejun Yang,
Huadong Dai,
Yuhua Tang,
Xiaodong Yi:
A General Metric of Load Balancing in delta-Range.
APPT 2003: 311-321 |
| 1 | | Xiaodong Yi,
Xuejun Yang:
A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.
ICICS 2003: 280-291 |
