| |
| 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 |
| 1 | Marsha Chechik | [1] [2] [3] |
| 2 | Arie Gurfinkel | [1] [2] [3] |