| |
| 2008 | ||
|---|---|---|
| 5 | EE | Fei Pu, Yan Zhang: Localizing Program Errors via Slicing and Reasoning. HASE 2008: 187-196 |
| 2007 | ||
| 4 | EE | Fei Pu, Wenhui Zhang: Partition Refinement in Abstract Model Checking. TASE 2007: 209-218 |
| 3 | EE | Fei Pu, Wenhui Zhang: Combining search space partition and abstraction for LTL model checking. Science in China Series F: Information Sciences 50(6): 793-810 (2007) |
| 2006 | ||
| 2 | EE | Fei Pu, Wenhui Zhang: LTL Model Checking via Search Space Partition. QSIC 2006: 418-428 |
| 2005 | ||
| 1 | EE | Fei Pu, Wenhui Zhang, Shaochun Wang: An Improved Case-Based Approach to LTL Model Checking. RISE 2005: 190-202 |
| 1 | Shaochun Wang | [1] |
| 2 | Wenhui Zhang | [1] [2] [3] [4] |
| 3 | Yan Zhang | [5] |