| |
| 2007 | ||
|---|---|---|
| 5 | EE | Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504 |
| 4 | EE | Daniel Kroening, Georg Weissenbacher: Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89 |
| 3 | EE | Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217 |
| 2 | EE | Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148 |
| 2006 | ||
| 1 | EE | Daniel Kroening, Georg Weissenbacher: Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165 |
| 1 | Gérard Basler | [2] [3] |
| 2 | Nicolas Blanc | [5] |
| 3 | Daniel Kroening (Daniel Kröning) | [1] [2] [3] [4] [5] |
| 4 | Thomas Witkowski | [5] |