Thomas Kropf

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 8

Top Venues

MBMV

SEFM

ICTSS

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Jo Laufenberg, Heiner Graser, Thomas Kropf, Oliver Bringmann
Simulation and Detection of Bus-Off Attacks in CAN. IV (2024)
Jo Laufenberg, Thomas Kropf, Oliver Bringmann
CAN Simulation Framework - From Classic CAN to CAN XL. ITSC (2023)
Jo Laufenberg, Susanne Throner, Thomas Kropf, Oliver Bringmann
Attack Simulation and Adaptation in CAN for Training and Evaluation of IDS. IV (2023)
Jo Laufenberg, Thomas Kropf, Oliver Bringmann
A Framework for CAN Communication and Attack Simulation. VTC Spring (2022)
Jo Laufenberg, Thomas Kropf, Oliver Bringmann
Automated Graph-Based Fault Injection Into Virtual Prototypes for Robustness Evaluation. ETS (2020)
Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. ICTSS (2017)
Kim Mens, Rafael Capilla, Herman Hartmann, Thomas Kropf
Modeling and Managing Context-Aware Systems' Variability. IEEE Softw. 34 (6) (2017)
Jo Laufenberg, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Thomas Kropf, Wolfgang Rosenstiel
Combining graph-based guidance with error effect simulation for efficient safety analysis. DATE (2016)
Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient Testing of Different Loop Paths. SEFM (2015)
Hanno Eichelberger, Thomas Kropf, Jürgen Ruf, Thomas Greiner, Wolfgang Rosenstiel
Efficient Fault Localization During Replay of Embedded Software. EUROMICRO-SEAA (2015)
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. 11 (4) (2015)
Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Optimized Hybrid Verification of Embedded Software. J. Electron. Test. 31 (2) (2015)
Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV (2014)
Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Optimized hybrid verification of embedded software. LATW (2014)
Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
More Flexible Object Invariants with Less Specification Overhead. SEFM (2014)
Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV (2014)
Hanno Eichelberger, Jürgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel
Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. ICCSA (5) (2014)
Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV (2014)
Patrick Heckeler, Bastian Schlich, Thomas Kropf
Accelerated robustness testing of state-based components using reverse execution. SAC (2013)
Christian Bräuchle, Folko Flehmig, Wolfgang Rosenstiel, Thomas Kropf
Maneuver decision for active pedestrian protection under uncertainty. ITSC (2013)
Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV (2013)
Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
A Software Testing Framework to Integrate Formal Verification Results. MBMV (2013)
Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin
Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV (2012)
Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss
DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends 31 (3) (2011)
Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable hybrid verification for embedded software. DATE (2011)
Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Extendable Hybrid Verification Platform. MBMV (2011)
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM (2010)
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC (2010)
Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich
Towards assertion-based verification of heterogeneous system designs. DATE (2010)
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf
Linking Functional Requirements and Software Verification. RE (2009)
Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
Semiformal verification of temporal properties in automotive hardware dependent software. DATE (2009)
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer
Verification of Temporal Properties in Automotive Embedded Software. DATE (2008)
Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel
Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2008)
Thomas Kropf
Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV (2007)
Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Coverage Driven Verification applied to Embedded Software. ISVLSI (2007)
Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV (2007)
Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Grid Based Fast Falsification For Bounded Property Checking. FDL (2007)
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel
Semiformal Verification of Temporal Properties in Embedded Software. MBMV (2007)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Fast falsification based on symbolic bounded property checking. DAC (2006)
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Distributed Symbolic Bounded Property Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV (2006)
Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Monitoring-based Formal Hardware Verification. MBMV (2006)
Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient and Customizable Integration of Temporal Properties. FDL (2005)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Overlap reduction in symbolic system traversal. HLDVT (2005)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Dynamic guiding of bounded property checking. HLDVT (2004)
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report (2004)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV (2004)
Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel
Using Symbolic Simulation for Bounded Property Checking. FDL (2003)
Jürgen Ruf, Thomas Kropf
Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods Syst. Des. 23 (1) (2003)
Jürgen Ruf, Thomas Kropf, Jochen Klose
A Visual Approach to Validating System Level Designs. ISSS (2002)
Jürgen Ruf, Thomas Kropf
Formal Data Analysis of Timed Finite State Systems. ECRTS (2002)
Jürgen Ruf, Thomas Kropf
Combination of Simulation and Formal Verification. MBMV (2002)
Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller
The simulation semantics of systemC. DATE (2001)
Jürgen Ruf, Thomas Kropf
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). Informationstechnik Tech. Inform. 43 (1) (2001)
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Simulation-guided property checking based on a multi-valued AR-automata. DATE (2001)
Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO (2000)
Dirk W. Hoffmann, Thomas Kropf
Can Automatic Design Error Correction be Applied to Large Circuits? EUROMICRO (2000)
Jürgen Ruf, Thomas Kropf
Analyzing Real-Time Systems. DATE (2000)
Dirk W. Hoffmann, Thomas Kropf
Efficient Design Error Correction of Digital Circuits. ICCD (2000)
Dirk W. Hoffmann, Thomas Kropf
Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. DATE (2000)
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Checking temporal properties under simulation of executable system descriptions. HLDVT (2000)
Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
Verifying Imprecisely Working Arithmetic Circuits. DATE (1999)
Thomas Kropf, Joachim Gerlach, Jürgen Haufe, Mathias Kortke
Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. Informationstechnik Tech. Inform. 41 (2) (1999)
Dirk W. Hoffmann, Thomas Kropf
Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. CHARME (1999)
Jürgen Ruf, Thomas Kropf
Modleing and Checking Networks of Communicating Real-Time Process. CHARME (1999)
Thomas Kropf
Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage. TPHOLs (1999)
Jürgen Ruf, Thomas Kropf
Modeling Real-Time Systems with I/O-Interval Structures. MBMV (1999)
Dirk W. Hoffmann, Thomas Kropf
Automatic Error Correction of Tri-State Circuits. ICCD (1999)
Jürgen Ruf, Thomas Kropf
Using MTBDDs for Compostion and Model Checking of Real-Time Systems. FMCAD (1998)
Werner Grass, Thomas Kropf, Matthias Mutz
Formale Methoden bei der Spezifikation von Hardware. Informationstechnik Tech. Inform. 40 (3) (1998)
Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild
A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. MBMV (1998)
Ralf Reetz, Klaus Schneider, Thomas Kropf
Formal Specification in VHDL for Hardware Verification. DATE (1998)
Klaus Schneider, Thomas Kropf
The C@S System. Formal Hardware Verification (1997)
Jürgen Ruf, Thomas Kropf
A New Algorithm for Discrete Timed Symbolic Model Checking. HART (1997)
Thomas Kropf, Jürgen Ruf
Using MTBDDs for discrete timed symbolic model checking. ED&TC (1997)
Jürgen Ruf, Thomas Kropf
Symbolic model checking for a discrete clocked temporal logic with intervals. CHARME (1997)
Thomas Kropf
Appendix: The Common Book Examples. Formal Hardware Verification (1997)
Klaus Schneider, Thomas Kropf
A Unified Approach for Combining Different Formalisms for Hardware Verification. FMCAD (1996)
Jürgen Frößl, Thomas Kropf, Joachim Gerlach
An Efficient Algorithm for Real-Time Symbolic Model Checking. ED&TC (1996)
Oliver F. Haberl, Thomas Kropf
HIST: A hierarchical self test methodology for chips, boards, and systems. J. Electron. Test. 6 (1) (1995)
Ralf Reetz, Thomas Kropf
A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods Syst. Des. 7 (1/2) (1995)
Ramayya Kumar, Thomas Kropf, Klaus Schneider
Formal synthesis of circuits with a simple handshake protocol. VLSI Design (1995)
Jürgen Frößl, Thomas Kropf
Verifying real-time properties of MOS-transistor circuits. ED&TC (1995)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Accelerating Tableaux Proofs Using Compact Representations. Formal Methods Syst. Des. 5 (1/2) (1994)
Ralf Reetz, Thomas Kropf
Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs (1994)
Thomas Kropf
Benchmark-Circuits for Hardware-Verification. TPCD (1994)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Automating Verification by Functional Abstraction at the System Level. TPHOLs (1994)
Klaus Schneider, Thomas Kropf, Ramayya Kumar
Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path. EDAC-ETC-EUROASIC (1994)
Oliver F. Haberl, Thomas Kropf
Self Testable Boards with Standard IEEE 1149.5 Module Test and Maintenance (MTM) Bus Interface. EDAC-ETC-EUROASIC (1994)
Thomas Kropf, Klaus Schneider, Ramayya Kumar
A Formal Framework for High Level Synthesis. TPCD (1994)
Jürgen Frößl, Thomas Kropf
A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation. EDAC-ETC-EUROASIC (1994)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Hardware-Verification using First Order BDDs. CHDL (1993)
Thomas Kropf, Ramayya Kumar, Klaus Schneider
Embedding Hardware Verification Within a Commercial Design Framework. CHARME (1993)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. HUG (1993)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. HUG (1993)
Ramayya Kumar, Klaus Schneider, Thomas Kropf
Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. Formal Methods Syst. Des. 2 (2) (1993)
Oliver F. Haberl, Thomas Kropf
HIST: A Methodology for the Automatic Insertion of a Hierarchical Self Test. ITC (1992)
Oliver F. Haberl, Thomas Kropf
A methodology for the insertion of a hierarchical and boundary-scan compatible self test. VTS (1992)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Efficient Representation and Computation of Tableau Proofs. TPHOLs (1992)
Klaus Schneider, Ramayya Kumar, Thomas Kropf
The FAUST - Prover. CADE (1992)

Thomas Kropf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Kropf