| |
| * | 2009 | |
|---|---|---|
| 2 | 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 | ||
| 1 | EE | Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169 |
| 1 | Jörg Behrend | [2] |
| 2 | Joachim Gerlach | [2] |
| 3 | Tobias Kirsten | [1] |
| 4 | Thomas Kropf | [1] [2] |
| 5 | Djones Lettnin | [1] [2] |
| 6 | Pradeep Kumar Nalla | [1] [2] |
| 7 | Stephan Reitemeyer | [1] [2] |
| 8 | Wolfgang Rosenstiel | [1] [2] |
| 9 | Jürgen Ruf | [1] [2] |