|
Search the dblp DataBase
Xiaofang Chen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. [Citation Graph (0, 0)][DBLP] FMCAD, 2006, pp:81-88 [Conf]
- Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:58-75 [Conf]
Transaction Based Modeling and Verification of Hardware Protocols. [Citation Graph (, )][DBLP]
Efficient Stateful Dynamic Partial Order Reduction. [Citation Graph (, )][DBLP]
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. [Citation Graph (, )][DBLP]
Decomposition and Noncausal Realization of Unstable LPTV System. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|