Dr. Djones Vinicius Lettnin

Eberhard-Karls-Universität Tübingen
Wilhelm-Schickard Institut für Informatik
Lehrstuhl Technische Informatik

72076 Tübingen

E-Mail: lettnin

Sprechstunde: nach Vereinbarung

Kontakt-Formular

Forschungsinteressen

  • Verifikation von eingebetter Software
  • Semiformale und Formale Verifikation
  • HW/SW-CoVerifikation
  • Assertions

Lehre

SS2007

  • Seminar - Software Verifikation: SW-Spezifikation, -Test und -Verifikation

Werdegang

seit April 2005

  • Doktorant an der Universität Tübingen
  • Thema: SemiformaleVerifikation von temporalen Eigenschaften in eingebetteter Software
  • CNPq Stipendiat, Brasilien

2002-2004

  • Magister in Elektrotechnik
  • Master Degree
  • Katholische Universität von Rio Grande do Sul, Brasilien
  • Magister Austausch an der Universität Tübingen im Jahr 2003

1998-2002

  • Bachelor in Informatik
  • Bundesunversität von Pelotas, Brasilien



Homepage

www-ti.informatik.uni-tuebingen.de/~lettnin

Publikationen

 Alle Publikationen im BibTex-Format

    2012

      März 2012
      • A. Grünhage, J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
         Optimized Static Parameter Assignment for Semiformal Software Verification
        15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Kaiserslautern, Germany

      2011

        März 2011
        • J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
           Scalable Hybrid Verification for Embedded Software
          DATE '11: Proceedings of the conference on Design, Automation and Test in Europe
        Februar 2011
        • J. Behrend, P. Heckeler, S. Huster, D. Lettnin, J. Ruf, T. Kropf, W. Rosenstiel
           Scalable and Extendable Hybrid Verification Platform
          14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany

        2009

        • Djones Lettnin and Pradeep Kumar Nalla and Jörg Behrend and Jürgen Ruf and Joachim Gerlach and Thomas Kropf and Wolfgang Rosenstiel and Volker Schönknecht and Stephan Reitemeyer
           Semiformal verification of temporal properties in automotive hardware dependent software
          DATE, p.1214-1217

        2008

        • Lettnin, D. V., Rosenstiel, Wolfgang
           SofTPaDS: Semiformal Verification of Temporal Properties in Hardware Dependent Software.
          In: EDAA/DATE PhD Forum at Design, Automotive and Test in Europe (DATE08), Munich
        • Lettnin, Nalla, Ruf, Kropf, Rosenstiel, Kirsten, Schönknecht, Reitemeyer
           Verification of Temporal Properties in Automotive Embedded Software.
          In: Design, Automation and Test in Europe

        2007

        • D. Lettnin, M. Winterholer, A. Braun, J. Gerlach, J. Ruf, T. Kropf, W. Rosenstiel
           Coverage Driven Verification applied to Embedded Software
          IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Porto Alegre, Brazil
        • D. Lettnin, P. Nalla, J. R. R. Wess, A. Braun, J. Gerlach, T. K. a. W. Rosenstiel
           Semiformal Verification of Temperal Properties in Embedded Software
          10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany

        2006

        • Ruf, J., Weiss, R., Lettnin, D. V., Lämmermann, S., Kropf, T., Rosenstiel, W.
           SystemC Temporal Checker
          Tübingen: Department of Computer Engineering

        2005

        • D. Lettnin, R. Weiss, A. Braun, J. Ruf, W. Rosenstiel
           Temporal Properties Verification of System Level Design
          In: Workshop on Object Oriented Software Design for Real Time and Embedded Computer Systems, 2005, Erfurt. Proceedings Net.ObjectDays 2005., p.271-282

        2004

        • D. Lettnin, A. Braun, M. Bogdan, J. Gerlach, W. Rosenstiel
           Synthesis of SystemC Design: A Case Study of Digital Neural Networks
          In: Design, Automation and Test in Europe (DATE 04), Paris