Xiaodong Yi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

3 Xiaodong Yi, Ji Wang, Xuejun Yang: Verification of C Programs using Slicing Execution. QSIC 2005: 109-116

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

Selection of 6 from 6 records - Xiaodong Yi has 4 coauthors

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)
3		Xiaodong Yi, Ji Wang, Xuejun Yang: Verification of C Programs using Slicing Execution. QSIC 2005: 109-116
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