Prof. Dr. habil. Thomas Kropf

Wilhelm-Schickard-Institute for Computer Science
Eberhard-Karls-University of Tuebingen
Computer Engineering Department
Sand 13, C 222
72076 TĂĽbingen

Phone: +49 (7071) 29-78998
Fax: +49 (7071) 29-5062

E-Mail: kropf

Contact-Form

Publications

 Bibtex-File for all Publications

    Publications of 2015

      Publications of 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

      Publications of 2014

        Publications of July 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
        Publications of March 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
        Publications without Month 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

        Publications of 2013

          Publications of 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
          Publications of 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
          Publications of March 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

          Publications of 2012

            Publications of 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

            Publications of 2011

              Publications of 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
              Publications of March 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
              Publications of February 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

              Publications of 2010

                Publications of 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
                Publications of March 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

                Publications of 2009

                  Publications of December 2009
                  • S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel
                      Assertion-based Analog Mixed-Signal Verification
                    IP - Embedded Systems Conference 2009 (IP-ESC`09)
                  Publications of June 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
                  Publications of March 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
                  Publications without Month 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

                  Publications of 2008

                    Publications of December 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
                    Publications of October 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
                    Publications without Month 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

                    Publications of 1999

                      Publications of March 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)

                      Publications of

                        Publications of February
                        • 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)

                        Contact-Form