 | 2012 |
|---|
| 7 |       | Gérard Basler,
Alastair F. Donaldson,
Alexander Kaiser,
Daniel Kroening,
Michael Tautschnig,
Thomas Wahl:
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).
TACAS 2012: 552-555 |
| 2010 |
|---|
| 6 | | Gérard Basler,
Matthew Hague,
Daniel Kroening,
C.-H. Luke Ong,
Thomas Wahl,
Haoxian Zhao:
Boom: Taking Boolean Program Model Checking One Step Further.
TACAS 2010: 145-149 |
| 5 | | Gérard Basler,
Michele Mazzucchi,
Thomas Wahl,
Daniel Kroening:
Context-aware counter abstraction.
Formal Methods in System Design 36(3): 223-245 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page