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

Homepage

http://www-ti.informatik.uni-tuebingen.de/~kropf/

Publikationen

 Alle Publikationen im BibTex-Format

    2015

      August 2015
      • H. Eichelberger, T. Kropf, J. Ruf, T. Greiner, W. Rosenstiel
         Efficient Fault Localization During Replay of Embedded Software
        Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p.43-52

      2014

        Juli 2014
        • H. Eichelberger, J. Ruf, T. Kropf, T. Greiner, W. Rosenstiel
            Debugger-based Record Replay and Dynamic Analysis for In-Vehicle Infotainment
          Proceedings of 14th International Conference on Computational Science and Its Applications (ICCSA), Software Quality Workshop, p.387-401, Springer International Publishing
        März 2014
        • H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel
           Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software
          17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.61-70, IBM Deutschland
        • S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, O. Bringmann
           LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation
          Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , Vol.17, IBM Deutschland
        Publikationen ohne Monatsangabe 2014
        • S. Burg, O. Bringmann, T. Kropf
           miniLoCeG+Glucose
          Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Vol.B-2014-2, Department of Computer Science Series of Publications, University of Helsinki
        • S. Burg, O. Bringmann, T. Kropf
           provoSATeur+glucose
          Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Vol.B-2014-2, Department of Computer Science Series of Publications, University of Helsinki

        2013

          November 2013
          • H. Eichelberger, T. Kropf, T. Greiner, W. Rosenstiel
              Runtime Verification Driven Debugging of Replayed Errors
            Proceedings of the PhD Workshop of ICTSS'13, p.1-4, Istanbul
          September 2013
          • P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
              Accelerated Model-Based Robustness Testing of State Machine Implementations
            ACM Applied Computing Review, 13 (03), p.50--67
          März 2013
          • 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
          • 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
          • 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 (MBMV), p.161-170, Universität Rostock

          2012

            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

              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
              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
              • 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

                September 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
                März 2010
                • 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

                  Dezember 2009
                  • S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel
                      Assertion-based Analog Mixed-Signal Verification
                    IP - Embedded Systems Conference 2009 (IP-ESC`09)
                  Juni 2009
                  • 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
                  März 2009
                  • 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
                  Publikationen ohne Monatsangabe 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

                    Dezember 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
                    Oktober 2008
                    • 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
                    Publikationen ohne Monatsangabe 2008
                    • 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

                      März 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)

                        Februar
                        • 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