 | 2009 |
|---|
| 4 |       | Gérard Basler,
Michele Mazzucchi,
Thomas Wahl,
Daniel Kroening:
Symbolic Counter Abstraction for Concurrent Software.
CAV 2009: 64-78 |
| 2008 |
|---|
| 3 | | Madanlal Musuvathi,
Shaz Qadeer,
Thomas Ball,
Gérard Basler,
Piramanayagam Arumuga Nainar,
Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs.
OSDI 2008: 267-280 |
| 2007 |
|---|
| 2 | | Gérard Basler,
Daniel Kroening,
Georg Weissenbacher:
A Complete Bounded Model Checking Algorithm for Pushdown Systems.
Haifa Verification Conference 2007: 202-217 |
| 1 | | Gérard Basler,
Daniel Kroening,
Georg Weissenbacher:
SAT-Based Summarization for Boolean Programs.
SPIN 2007: 131-148 |
