 | 2009 |
|---|
| 6 |       | Yu Yang,
Xiaofang Chen,
Ganesh Gopalakrishnan,
Chao Wang:
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.
SPIN 2009: 279-295 |
| 2008 |
|---|
| 5 | | Yu Yang,
Xiaofang Chen,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Efficient Stateful Dynamic Partial Order Reduction.
SPIN 2008: 288-305 |
| 2007 |
|---|
| 4 | | Xiaofang Chen,
Steven M. German,
Ganesh Gopalakrishnan:
Transaction Based Modeling and Verification of Hardware Protocols.
FMCAD 2007: 53-61 |
| 3 | | Yu Yang,
Xiaofang Chen,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.
SPIN 2007: 58-75 |
| 2006 |
|---|
| 2 | | Xiaofang Chen,
Yu Yang,
Ganesh Gopalakrishnan,
Ching-Tsun Chou:
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.
FMCAD 2006: 81-88 |
| 1 | | Xiaofang Chen,
Cishen Zhang,
Jingxin Zhang:
Decomposition and Noncausal Realization of Unstable LPTV System.
ICARCV 2006: 1-6 |
