 | 2009 |
|---|
| 10 |       | Shuvendu K. Lahiri,
Shaz Qadeer,
Juan P. Galeotti,
Jan W. Voung,
Thomas Wies:
Intra-module Inference.
CAV 2009: 493-508 |
| 9 | | Jochen Hoenicke,
K. Rustan M. Leino,
Andreas Podelski,
Martin Schäf,
Thomas Wies:
It's Doomed; We Can Prove It.
FM 2009: 338-353 |
| 8 | | Thomas Wies,
Ruzica Piskac,
Viktor Kuncak:
Combining Theories with Shared Set Operations.
FroCos 2009: 366-382 |
| 7 | | Mohamed Nassim Seghir,
Andreas Podelski,
Thomas Wies:
Abstraction Refinement for Quantified Array Assertions.
SAS 2009: 3-18 |
| 2008 |
|---|
| 6 | | Andreas Podelski,
Andrey Rybalchenko,
Thomas Wies:
Heap Assumptions on Demand.
CAV 2008: 314-327 |
| 2007 |
|---|
| 5 | | 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 | | 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 | | Thomas Wies,
Viktor Kuncak,
Patrick Lam,
Andreas Podelski,
Martin C. Rinard:
Field Constraint Analysis.
VMCAI 2006: 157-173 |
| 2 | | 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 | | Andreas Podelski,
Thomas Wies:
Boolean Heaps.
SAS 2005: 268-283 |
