| |
| 2008 | ||
|---|---|---|
| 3 | EE | Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59 |
| 2007 | ||
| 2 | EE | Tobias Nopper, Christoph Scholl, Bernd Becker: Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280 |
| 2004 | ||
| 1 | EE | Tobias Nopper, Christoph Scholl: Approximate Symbolic Model Checking for Incomplete Designs. FMCAD 2004: 290-305 |
| 1 | Bernd Becker | [2] [3] |
| 2 | Marc Herbstritt | [3] |
| 3 | Natalia Kalinnik | [3] |
| 4 | Matthew D. T. Lewis | [3] |
| 5 | Juri Lichtner | [3] |
| 6 | Christoph Scholl | [1] [2] |
| 7 | Ralf Wimmer | [3] |