- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j4 |      | Xiaofang Chen, Fanguo Kong: Impact of corporate culture on resources sharing between enterprises. IJNVO 12(1): 3-13 (2013) |
| 2011 | ||
| c8 |  | Xiaofang Chen, Cishen Zhang, Jingxin Zhang: Analysis and Computation of Optimal Bounds of Bi-directional Frames. ICINCO (1) 2011: 243-250 |
| 2010 | ||
| j3 | | 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) |
| j2 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed dynamic partial order reduction. STTT 12(2): 113-122 (2010) |
| 2009 | ||
| j1 | | Congxin Li, Xiaofang Chen, Pengye Wang, Weichi Wang: Circadian KaiC Phosphorylation: A Multi-Layer Network. PLoS Computational Biology 5(11) (2009) |
| c7 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang: Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 |
| 2008 | ||
| c6 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305 |
| 2007 | ||
| c5 | | Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan: Transaction Based Modeling and Verification of Hardware Protocols. FMCAD 2007: 53-61 |
| c4 | | Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou: Hierarchical cache coherence protocol verification one level at a time through assume guarantee. HLDVT 2007: 107-114 |
| c3 | | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75 |
| 2006 | ||
| c2 | | Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou: Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD 2006: 81-88 |
| c1 | | Xiaofang Chen, Cishen Zhang, Jingxin Zhang: Decomposition and Noncausal Realization of Unstable LPTV System. ICARCV 2006: 1-6 |
Colors in the list of coauthors
Last update Tue May 21 18:57:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page