| * | 2009 |
|---|
| 3 | EE | Djones Lettnin,
Pradeep Kumar Nalla,
Jörg Behrend,
Jürgen Ruf,
Joachim Gerlach,
Thomas Kropf,
Wolfgang Rosenstiel,
Volker Schönknecht,
Stephan Reitemeyer:
Semiformal verification of temporal properties in automotive hardware dependent software.
DATE 2009: 1214-1217 |
| 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 |
