Djones Lettnin

According to our database, Djones Lettnin authored at least 34 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?

Bryan Olmos, Daniel Gerl, Aman Kumar, Djones Lettnin

CoRR, 2024

FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage.

Deepak Narayan Gadde, Aman Kumar, Djones Lettnin, Sebastian Simon

CoRR, 2024

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification.

Deepak Narayan Gadde, Sebastian Simon, Djones Lettnin, Thomas Ziller

CoRR, 2024

Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification.

Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin

Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024

Adaptable FWHW Formal Co-Verification of SoC RISC-V Components.

Paulette Iskandar, Bryan Olmos, Wolfgang Kunz, Djones Lettnin

Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024

Efficient Stimuli Generation using Reinforcement Learning in Design Verification.

Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon

Proceedings of the 20th International Conference on Synthesis, 2024

2018

A Scalable Approach for Hardware Semiformal Verification.

Tomás Grimm, Djones Lettnin, Michael Hübner

CoRR, 2018

An Adaptive Closed-Loop Verification Approach in UVM-SystemC for AMS Circuits.

Jeferson Santos Barros, Victor Hugo Schulz, Djones Vinicius Lettnin

Proceedings of the 31st Symposium on Integrated Circuits and Systems Design, 2018

Extending universal verification methodology with fault injection capabilities.

Douglas Lohmann, Fabrizio Maziero, Elço João dos Santos Jr, Djones Lettnin

Proceedings of the 9th IEEE Latin American Symposium on Circuits & Systems, 2018

ARCHVerifyr: An Embedded Software-Driven Approach for Architecture Verification.

Tomás Grimm, Djones Lettnin, Michael Hübner

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

A Domain-specific Language for Automated Fault Injection in SystemC Models.

Douglas Lohmann, Alexis Huf, Djones Lettnin, Frank Siqueira, José Luís Güntzel

Proceedings of the 25th IEEE International Conference on Electronics, Circuits and Systems, 2018

2017

Semiformal Verification of Software-Controlled Connections.

Tomás Grimm, Djones Lettnin, Michael Hübner

Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

2016

Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions.

Tomás Grimm, Djones Lettnin, Michael Hübner

Proceedings of the IEEE Nordic Circuits and Systems Conference, 2016

A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking.

Rogerio Paludo, Djones Lettnin

Proceedings of the 17th Latin-American Test Symposium, 2016

2015

Scalable and Optimized Hybrid Verification of Embedded Software.

Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

J. Electron. Test., 2015

A reconfigurable hardware platform for power converter control systems.

Paulo Ricardo Cechelero Villa, Eduardo Augusto Bezerra, Djones Vinicius Lettnin, Samir Ahmad Mussa

Proceedings of the IEEE International Conference on Industrial Technology, 2015

2014

Low cost fault detector guided by permanent faults at the end of FPGAs life cycle.

Victor M. Goncalves Martins, Frederico Ferlini, Djones Vinicius Lettnin, Eduardo Augusto Bezerra

Proceedings of the 15th Latin American Test Workshop, 2014

Optimized hybrid verification of embedded software.

Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 15th Latin American Test Workshop, 2014

2013

Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications.

Wesley Silva, Eduardo Augusto Bezerra, Markus Winterholer, Djones Lettnin

Proceedings of the 14th Latin American Test Workshop, 2013

2012

Optimized Static Parameter Assignment for Semiformal Software Verification.

Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Non-intrusive fault tolerance in soft processors through circuit duplication.

Frederico Ferlini, Felipe A. da Silva, Eduardo Augusto Bezerra, Djones Vinicius Lettnin

Proceedings of the 13th Latin American Test Workshop, 2012

2011

Scalable and Extendable Hybrid Verification Platform.

Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Hybrid verificatio of temporal properties in hardware dependent software.

Djones Lettnin, Wolfgang Rosenstiel

Proceedings of the 12th Latin American Test Workshop, 2011

Scalable hybrid verification for embedded software.

Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Simulation-based verification of the MOST NetInterface specification revision 3.0.

Andreas Braun, Oliver Bringmann, Djones Lettnin, Wolfgang Rosenstiel

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Verification of temporal properties in embedded software.

Djones Vinicius Lettnin

PhD thesis, 2009

Semiformal verification of temporal properties in automotive hardware dependent software.

Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Verification of Temporal Properties in Automotive Embedded Software.

Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Semiformal Verification of Temporal Properties in Embedded Software.

Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Coverage Driven Verification applied to Embedded Software.

Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

2004

Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.

Djones Lettnin, Axel G. Braun, Martin Bogdan, Joachim Gerlach, Wolfgang Rosenstiel

Proceedings of the 2004 Design, 2004

2003

Automated Conversion of SystemC Fixed-Point Data Types.

Axel G. Braun, Djones Lettnin, Joachim Gerlach, Wolfgang Rosenstiel

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

2002

Electrocardiogram Pattern Recognition by Means of MLP Network and PCA: A Case Study on Equal Amount of Input Signal Types.

Fabian Vargas, Maria Cristina Felippetto de Castro, Marcello Macarthy, Djones Lettnin

Proceedings of the 7th Brazilian Symposium on Neural Networks (SBRN 2002), 2002

A New Learning Approach to Design Fault Tolerant ANNs: Finally a Zero HW-SW Overhead.

Fabian Vargas, Djones Lettnin, Diogo B. Brum, Dárcio Prestes

Proceedings of the 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, 2002