dblp.uni-trier.dewww.uni-trier.de

Xiaodong Yi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Huadong Dai [2]
2Yuhua Tang [2]
3Ji Wang [3] [4] [5]
4Xuejun Yang [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)