| 2008 |
|---|
| 6 | EE | Andreas Podelski,
Andrey Rybalchenko,
Thomas Wies:
Heap Assumptions on Demand.
CAV 2008: 314-327 |
| 2007 |
|---|
| 5 | EE | Josh Berdine,
Cristiano Calcagno,
Byron Cook,
Dino Distefano,
Peter W. O'Hearn,
Thomas Wies,
Hongseok Yang:
Shape Analysis for Composite Data Structures.
CAV 2007: 178-192 |
| 4 | EE | Charles Bouillaguet,
Viktor Kuncak,
Thomas Wies,
Karen Zee,
Martin C. Rinard:
Using First-Order Theorem Provers in the Jahob Data Structure Verification System.
VMCAI 2007: 74-88 |
| 2006 |
|---|
| 3 | EE | Thomas Wies,
Viktor Kuncak,
Patrick Lam,
Andreas Podelski,
Martin C. Rinard:
Field Constraint Analysis.
VMCAI 2006: 157-173 |
| 2 | EE | Thomas Wies,
Viktor Kuncak,
Karen Zee,
Andreas Podelski,
Martin C. Rinard:
On Verifying Complex Properties using Symbolic Shape Analysis
CoRR abs/cs/0609104: (2006) |
| 2005 |
|---|
| 1 | EE | Andreas Podelski,
Thomas Wies:
Boolean Heaps.
SAS 2005: 268-283 |
