| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 9 |       | Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou: Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Formal Methods in System Design 36(1): 37-64 (2010) |
| 8 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed dynamic partial order reduction. STTT 12(2): 113-122 (2010) |
| 7 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang: Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 |
| 5 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305 |
| 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 |
| 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 |
Selection of 7 from 10 records - Xiaofang Chen has 11 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page