| |
| 2008 | ||
|---|---|---|
| 3 | EE | 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 | EE | Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217 |
| 1 | EE | Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148 |
| 1 | Thomas Ball | [3] |
| 2 | Daniel Kroening (Daniel Kröning) | [1] [2] |
| 3 | Madanlal Musuvathi | [3] |
| 4 | Piramanayagam Arumuga Nainar | [3] |
| 5 | Iulian Neamtiu | [3] |
| 6 | Shaz Qadeer | [3] |
| 7 | Georg Weissenbacher | [1] [2] |