| |
| 2008 | ||
|---|---|---|
| 2 | EE | Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel: Object-Oriented Message-Passing in Heterogeneous Environments. PVM/MPI 2008: 151-158 |
| 2007 | ||
| 1 | EE | Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Grid Based Fast Falsification For Bounded Property Checking. FDL 2007: 299-304 |
| 1 | Patrick Heckeler | [2] |
| 2 | Thomas Kropf | [1] |
| 3 | Pradeep Kumar Nalla | [1] |
| 4 | Prakash Mohan Peranandam | [1] |
| 5 | Marcus Ritt | [2] |
| 6 | Wolfgang Rosenstiel | [1] [2] |
| 7 | Jürgen Ruf | [1] |