Prof. Dr. habil. Thomas Kropf Eberhard-Karls-Universität Tübingen Wilhelm-Schickard Institut für Informatik Lehrstuhl Technische Informatik Sand 13, C 222 72076 Tübingen Telefon: +49 (7071) 29-78998 Telefax: +49 (7071) 29-5062 E-Mail: kropf Sprechstunde: Sprechstunden nach Vereinbarung

Kontakt-Formular

 Alle Publikationen im BibTex-Format

2013

• P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
   Accelerated Robustness Testing of State-Based Components using Reverse Execution
  Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), Vol.2, p.1188-1195, ACM, Coimbra, Portugal
• S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
   A Software Testing Framework to Integrate Formal Verification Results
  16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, p.183-192, Universität Rostock, Rostock
• H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich
   Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen
  16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, p.161-170, Universität Rostock, Rostock

2012

• Stefan Lämmermann, Lukas Pielawa, Andreas Burger, Jan Schlemminger, Jürgen Ruf, Thomas Kropf, Andreas Hein, Wolfgang Rosenstiel
   Heterogeneous Assertion-Based Verification for Medical Devices Development
  The 17th Workshop on Synthesis And System Integration of Mixed Information Technologies (Sasimi 2012), p.pp. 211 - 216, Oita Japan
• 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

• P. Heckeler, J. Behrend, J. Ruf, T. Kropf, W. Rosenstiel, R. Weiss
   DWARF-driven Equivalence Checking of UML Statecharts and Software Components
  Gesellchaft für Informatik e.V.: Softwaretechnik-Trends, 31 (3), p.61-63

• 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

• Stefan Lämmermann, Erik Markert, Axel Braun, Jürgen Ruf, Thomas Kropf und Wolfgang Rosenstiel
   Eigenschaftsbasierte Verifikation von MEMS
  Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11), Bremen, Germany
• 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

2010

• P. Heckeler, J. Behrend, T. Kropf, J. Ruf, R. Weiss, W. Rosenstiel
    State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines
  FM+AM 2010, Vol.P-179, p.49-62, Lecture Notes in Informatics, Pisa

• S. Lämmermann, A. Jesser, A. Viehl, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel
   Towards Assertion-Based Verification of Heterogeneous System Designs
  Design, Automation and Test in Europe (DATE'10), p.1171-1176

2009

• S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel
    Assertion-based Analog Mixed-Signal Verification
  IP - Embedded Systems Conference 2009 (IP-ESC`09)

• S. Lämmermann, M. Rathgeber, A. Jesser, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel
   Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification
  Formal Verification of Analog Circuits at CAV'09 (FAC) , Grenoble, France

• S. Lämmermann, A. Jesser, R. Weiss, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel
   An Assertion-Based Verification Methodology for SystemC-AMS Designs
  15th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), p.434-435, Okinawa, Japan

• 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

• A. Jesser, S. Laemmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel
    Advanced Assertion Based Design for Mixed-Signal Verification
  IEICE TRANS. FUNDAMENTALS: Special Section on VLSI Design and CAD Algorithms, Vol.E91–A(12), p.3548-3555

• Stefan Lämmermann, Alexander Pacholik, Alexander Jesser, Roland Weiss, Jürgen Ruf, Wolfgang Fengler, Lars Hedrich, Thomas Kropf, Wolfgang Rosenstiel
   Improving Mixed-Signal Verification by Assertion Based Design
  16th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), p.144-148, Rhodos, Griechenland

• Lettnin, Nalla, Ruf, Kropf, Rosenstiel, Kirsten, Schönknecht, Reitemeyer
   Verification of Temporal Properties in Automotive Embedded Software.
  In: Design, Automation and Test in Europe

1999

• T. Kropf, J. Gerlach, J. Haufe, M. Kortke, M. Weiß
   Methodischer HW/SW-Entwurf des GSM Sprachtranscodec- Algorithmus
  IT+TI Informationstechnik und Technische Informatik, Schwerpunktthema: Entwurfsmethoden für eingebettete Systeme (it+ti 2/99)

• Stefan Lämmermann, Erik Markert, Axel Braun, Jürgen Ruf, Thomas Kropf und Wolfgang Rosenstiel
   Eigenschaftsbasierte Verifikation von MEMS
  Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11)

Kontakt-Formular