 | 2009 |
|---|
| 7 |       | Nicolas Blanc,
Daniel Kroening:
Speeding Up Simulation of SystemC Using Model Checking.
SBMF 2009: 1-16 |
| 2008 |
|---|
| 6 | | Nicolas Blanc,
Daniel Kroening:
Race analysis for SystemC using model checking.
ICCAD 2008: 356-363 |
| 5 | | Thomas Wahl,
Nicolas Blanc,
E. Allen Emerson:
SVISS: Symbolic Verification of Symmetric Systems.
TACAS 2008: 459-462 |
| 4 | | Nicolas Blanc,
Daniel Kroening,
Natasha Sharygina:
Scoot: A Tool for the Analysis of SystemC Models.
TACAS 2008: 467-470 |
| 2007 |
|---|
| 3 | | Thomas Witkowski,
Nicolas Blanc,
Daniel Kroening,
Georg Weissenbacher:
Model checking concurrent linux device drivers.
ASE 2007: 501-504 |
| 2 | | Nicolas Blanc,
Alex Groce,
Daniel Kroening:
Verifying C++ with STL containers via predicate abstraction.
ASE 2007: 521-524 |
| 2006 |
|---|
| 1 | | Thierry Oggier,
Felix Lustenberger,
Nicolas Blanc:
Miniature 3D TOF Camera for Real-Time Imaging.
PIT 2006: 212-216 |
