| 2009 |
|---|
| 6 | EE | Ou Wei,
Arie Gurfinkel,
Marsha Chechik:
Mixed Transition Systems Revisited.
VMCAI 2009: 349-365 |
| 2008 |
|---|
| 5 | EE | Arie Gurfinkel,
Ou Wei,
Marsha Chechik:
Model Checking Recursive Programs with Exact Predicate Abstraction.
ATVA 2008: 95-110 |
| 4 | EE | Gogul Balakrishnan,
Sriram Sankaranarayanan,
Franjo Ivancic,
Ou Wei,
Aarti Gupta:
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
SAS 2008: 238-254 |
| 2006 |
|---|
| 3 | EE | Arie Gurfinkel,
Ou Wei,
Marsha Chechik:
Yasm: A Software Model-Checker for Verification and Refutation.
CAV 2006: 170-174 |
| 2 | EE | Arie Gurfinkel,
Ou Wei,
Marsha Chechik:
Systematic Construction of Abstractions for Model-Checking.
VMCAI 2006: 381-397 |
| 2005 |
|---|
| 1 | EE | Ou Wei,
Arie Gurfinkel,
Marsha Chechik:
Identification and Counter Abstraction for Full Virtual Symmetry.
CHARME 2005: 285-300 |
