Concepedia

Djones Lettnin

DL

8

Publications

166

Citations

8

H-Index

2003

Active since

Affiliations

University of Tübingen(Current)

Universidade Federal de Santa Catarina

Djones Lettnin is an author at University of Tübingen specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringEmbedded SystemsSystems EngineeringVerificationFormal MethodsSoftware TestingFormal VerificationComputer Architecture

Publications per year

2003–2018

8

Publications

8

A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip

Tomás Grimm, Djones Lettnin, Michael Hübner · Electronics · 2018 · 53 citations · Full text

Automotive Industry, Engineering, Hardware Verification Language +20

Electrocardiogram pattern recognition by means of MLP network and PCA: a case study on equal amount of input signal types

Fabian Vargas, Djones Lettnin, M.C.F. De Castro et al. · 2003 · 36 citations

Engineering, Equal Amount, Biometrics +18

Verification of temporal properties in automotive embedded software

Djones Lettnin, Pradeep K. Nalla, Jürgen Ruf et al. · 2008 · 17 citations

Engineering, Hardware Verification Language, Verification +22

Coverage Driven Verification applied to Embedded Software

Djones Lettnin, Markus Winterholer, Axel Braun et al. · 2007 · 14 citations

Engineering, Hardware Verification Language, Verification +21

Synthesis of embedded systemC design: a case study of digital neural networks

Djones Lettnin, Axel Braun, Martin Bodgan et al. · Design, Automation, and Test in Europe · 2004 · 12 citations

Engineering, Evolvable Hardware, Hardware Algorithm +20

Rows per page

1–5 of 8