 | 2009 |
|---|
| 6 |       | 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 |
|---|
| 5 | | 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 |
| 2007 |
|---|
| 4 | | Djones Lettnin,
Markus Winterholer,
Axel G. Braun,
Joachim Gerlach,
Jürgen Ruf,
Thomas Kropf,
Wolfgang Rosenstiel:
Coverage Driven Verification applied to Embedded Software.
ISVLSI 2007: 159-164 |
| 2004 |
|---|
| 3 | | Djones Lettnin,
Axel G. Braun,
Martin Bogdan,
Joachim Gerlach,
Wolfgang Rosenstiel:
Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.
DATE 2004: 248-255 |
| 2002 |
|---|
| 2 | | Fabian Vargas,
Djones Lettnin,
Diogo B. Brum,
Dárcio Prestes:
A New Learning Approach to Design Fault Tolerant ANNs: Finally a Zero HW-SW Overhead.
Asian Test Symposium 2002: 218-223 |
| 1 | | Fabian Vargas,
Maria Cristina Felippetto de Castro,
Marcello Macarthy,
Djones Lettnin:
Electrocardiogram Pattern Recognition by Means of MLP Network and PCA: A Case Study on Equal Amount of Input Signal Types.
SBRN 2002: 200-205 |
