Djones Lettnin
Djones Lettnin
Verified email at ufsc.br
Title
Cited by
Cited by
Year
Electrocardiogram pattern recognition by means of MLP network and PCA: A case study on equal amount of input signal types
F Vargas, D Lettnin, MCF de Castro, M Macarthy
VII Brazilian Symposium on Neural Networks, 2002. SBRN 2002. Proceedings …, 2002
472002
Automatic property generation for formal verification applied to hdl-based design of an on-board computer for space applications
W Silva, E Bezerra, M Winterholer, D Lettnin
2013 14th Latin American Test Workshop-LATW, 1-6, 2013
302013
Implantes cocleares: aspectos tecnológicos e papel socioeconômico
D Tefili, GFG Barrault, AA Ferreira, JA Cordioli, DV Lettnin
Revista Brasileira de Engenharia Biomédica 29 (4), 414-433, 2013
222013
Verification of temporal properties in automotive embedded software
D Lettnin, PK Nalla, J Ruf, T Kropf, W Rosenstiel, T Kirsten, ...
Proceedings of the conference on Design, automation and test in Europe, 164-169, 2008
222008
Synthesis of embedded SystemC design: A case study of digital neural networks
D Lettnin, A Braun, M Bodgan, J Gerlach, W Rosenstiel
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004
192004
A survey on formal verification techniques for safety-critical systems-on-chip
T Grimm, D Lettnin, M Hübner
Electronics 7 (6), 81, 2018
182018
Semiformal verification of temporal properties in automotive hardware dependent software
D Lettnin, PK Nalla, J Behrend, J Ruf, J Gerlach, T Kropf, W Rosenstiel, ...
2009 Design, Automation & Test in Europe Conference & Exhibition, 1214-1217, 2009
182009
Non-intrusive fault tolerance in soft processors through circuit duplication
F Ferlini, FA da Silva, EA Bezerra, DV Lettnin
2012 13th Latin American Test Workshop (LATW), 1-6, 2012
172012
Coverage driven verification applied to embedded software
D Lettnin, M Winterholer, A Braun, J Gerlach, J Ruf, T Kropf, W Rosenstiel
IEEE Computer Society Annual Symposium on VLSI (ISVLSI'07), 159-164, 2007
152007
Synthesizable VHDL design for FPGAs
EA Bezerra, DV Lettnin
Springer International Publishing, 2014
132014
Embedded software verification and debugging
D Lettnin, M Winterholer
Springer, 2017
102017
Scalable hybrid verification for embedded software
J Behrend, D Lettnin, P Heckeler, J Ruf, T Kropf, W Rosenstiel
2011 Design, Automation & Test in Europe, 1-6, 2011
102011
Scalable and optimized hybrid verification of embedded software
J Behrend, D Lettnin, A Grünhage, J Ruf, T Kropf, W Rosenstiel
Embedded Software Verification and Debugging, 183-205, 2017
72017
On the mitigation of conducted electromagnetic immunity by means of SW-based fault handling mechanisms
F Vargas, DB Brum, D Prestes, L Bolzani, D Lettnin
Proc. IEEE Latin America Test Workshop, 130-135, 2003
72003
Synthesizable VHDL Design for FPGAs, 2014
E Bezerra, D Lettnin
Springer. Disponível na biblioteca. FACULDADE DE INFORMÁTICA Centro …, 0
7
Simulation-based verification of the MOST netinterface specification revision 3.0
A Braun, O Bringmann, D Lettnin, W Rosenstiel
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
62010
A complete CubeSat mission: the Floripa-Sat experience
PRC Villa, L Slongo, J Salamanca, V Martins, F Silva, SV Martinez, ...
1st IAA Latin American Cubesat Workshop 2, 307-314, 2014
52014
Estudo de um Sistema para Classificacao de Batimentos Cardiacos Utilizando Redes Neurais
DV Lettnin, F Vargas, M Macarthy
VIII IberChip, 2002
52002
Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions
T Grimm, D Lettnin, M Hübner
2016 IEEE Nordic Circuits and Systems Conference (NORCAS), 1-6, 2016
42016
Optimized hybrid verification of embedded software
J Behrend, A Gruenhage, D Schroeder, D Lettnin, J Ruf, T Kropf, ...
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20