 | 2009 |
|---|
| 5 |       | Bhargav S. Gulavani,
Supratik Chakraborty,
Ganesan Ramalingam,
Aditya V. Nori:
Bottom-Up Shape Analysis.
SAS 2009: 188-204 |
| 2008 |
|---|
| 4 | | Bhargav S. Gulavani,
Sumit Gulwani:
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.
CAV 2008: 370-384 |
| 3 | | Bhargav S. Gulavani,
Supratik Chakraborty,
Aditya V. Nori,
Sriram K. Rajamani:
Automatically Refining Abstract Interpretations.
TACAS 2008: 443-458 |
| 2006 |
|---|
| 2 | | Bhargav S. Gulavani,
Thomas A. Henzinger,
Yamini Kannan,
Aditya V. Nori,
Sriram K. Rajamani:
SYNERGY: a new algorithm for property checking.
SIGSOFT FSE 2006: 117-127 |
| 1 | | Bhargav S. Gulavani,
Sriram K. Rajamani:
Counterexample Driven Refinement for Abstract Interpretation.
TACAS 2006: 474-488 |
