Follow
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
492002
A survey on formal verification techniques for safety-critical systems-on-chip
T Grimm, D Lettnin, M Hübner
Electronics 7 (6), 81, 2018
362018
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, 414-433, 2013
272013
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
232008
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
192009
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
182004
Synthesizable VHDL design for FPGAs
EA Bezerra, DV Lettnin
Springer International Publishing, 2014
172014
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
162012
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
142007
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
112011
Embedded software verification and debugging
D Lettnin, M Winterholer
Springer, 2017
102017
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
102013
A complete CubeSat mission: the Floripa-Sat experience
P Villa, L Slongo, J Salamanca, V Martins, F Silva, S Martinez, L Mariga, ...
1st IAA Latin American Cubesat Workshop 2, 307-314, 2014
92014
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
92010
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
82003
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
The experience of designing and developing the on-board electronics of a Cubesat in Brazil
V Martins, P Villa, L Slongo, J Salamanca, F Sabino, S Martinez, L Mariga, ...
1st IAA Latin American CubeSat Workshop 2 (3), 69-73, 2016
62016
Synthesizable VHDL Design for FPGAs, 2014
E Bezerra, D Lettnin
Springer. Disponível na biblioteca. FACULDADE DE INFORMÁTICA Centro …, 0
6
The Floripa-Sat experience: mission progress and satellite’s development
LK Slongo, SV Martinez, BVB Eiterer, TG Pereira, MA Klemz, ...
2st IAA Latin American Cubesat Workshop 2, 1-22, 2016
52016
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
52014
The system can't perform the operation now. Try again later.
Articles 1–20