| |
| 2007 | ||
|---|---|---|
| 2 | EE | Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522 |
| 2004 | ||
| 1 | EE | Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465 |
| 1 | Cyrille Artho | [1] [2] |
| 2 | Marcel Baur | [1] |
| 3 | Armin Biere | [1] [2] |
| 4 | Pascal Eugster | [1] |
| 5 | Shinichi Honiden | [2] |
| 6 | Viktor Schuppan | [1] |
| 7 | Etsuya Shibayama | [2] |