 | 2008 |
|---|
| 9 |       | Aaron R. Bradley,
Zohar Manna:
Property-directed incremental invariant generation.
Formal Asp. Comput. 20(4-5): 379-405 (2008) |
| 2007 |
|---|
| 8 | | Aaron R. Bradley,
Zohar Manna:
Checking Safety by Inductive Generalization of Counterexamples to Induction.
FMCAD 2007: 173-180 |
| 2006 |
|---|
| 7 | | Aaron R. Bradley,
Zohar Manna:
Verification Constraint Problems with Strengthening.
ICTAC 2006: 35-49 |
| 6 | | Aaron R. Bradley,
Zohar Manna,
Henny B. Sipma:
What's Decidable About Arrays?
VMCAI 2006: 427-442 |
| 2005 |
|---|
| 5 | | Aaron R. Bradley,
Zohar Manna:
Termination and Invariance Analysis of Loops.
ATVA 2005: 2 |
| 4 | | Aaron R. Bradley,
Zohar Manna,
Henny B. Sipma:
Linear Ranking with Reachability.
CAV 2005: 491-504 |
| 3 | | Aaron R. Bradley,
Zohar Manna,
Henny B. Sipma:
Termination Analysis of Integer Linear Loops.
CONCUR 2005: 488-502 |
| 2 | | Aaron R. Bradley,
Zohar Manna,
Henny B. Sipma:
The Polyranking Principle.
ICALP 2005: 1349-1361 |
| 1 | | Aaron R. Bradley,
Zohar Manna,
Henny B. Sipma:
Termination of Polynomial Programs.
VMCAI 2005: 113-129 |
