| 2022 | VTC | A Framework for CAN Communication and Attack Simulation. | Jo Laufenberg, Thomas Kropf, Oliver Bringmann |
| 2020 | ETS | Automated Graph-Based Fault Injection Into Virtual Prototypes for Robustness Evaluation. | Jo Laufenberg, Thomas Kropf, Oliver Bringmann |
| 2016 | DATE | Combining graph-based guidance with error effect simulation for efficient safety analysis. | Jo Laufenberg, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Thomas Kropf, Wolfgang Rosenstiel |
| 2015 | SEFM | Efficient Testing of Different Loop Paths. | Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2014 | ICCSA | Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. | Hanno Eichelberger, Jrgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel |
| 2014 | SEFM | More Flexible Object Invariants with Less Specification Overhead. | Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jrgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel |
| 2013 | SAC | Accelerated robustness testing of state-based components using reverse execution. | Patrick Heckeler, Bastian Schlich, Thomas Kropf |
| 2011 | DATE | Scalable hybrid verification for embedded software. | Jrg Behrend, Djones Lettnin, Patrick Heckeler, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2010 | DATE | Towards assertion-based verification of heterogeneous system designs. | Stefan Lmmermann, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich |
| 2010 | QUATIC | Abstract Testing: Connecting Source Code Verification with Requirements. | Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf |
| 2009 | DATE | Semiformal verification of temporal properties in automotive hardware dependent software. | Djones Lettnin, Pradeep Kumar Nalla, Jrg Behrend, Jrgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schnknecht, Stephan Reitemeyer |
| 2009 | RE | Linking Functional Requirements and Software Verification. | Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf |
| 2008 | DATE | Verification of Temporal Properties in Automotive Embedded Software. | Djones Lettnin, Pradeep Kumar Nalla, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schnknecht, Stephan Reitemeyer |
| 2007 | CAV | Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? | Thomas Kropf |
| 2007 | FDL | Grid Based Fast Falsification For Bounded Property Checking. | Pradeep Kumar Nalla, Jrg Behrend, Prakash Mohan Peranandam, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2006 | DAC | Fast falsification based on symbolic bounded property checking. | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jrgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel |
| 2005 | FDL | Efficient and Customizable Integration of Temporal Properties. | Roland Weiss, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2003 | FDL | Using Symbolic Simulation for Bounded Property Checking. | Jrgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel |
| 2002 | ECRTS | Formal Data Analysis of Timed Finite State Systems. | Jrgen Ruf, Thomas Kropf |
| 2001 | DATE | The simulation semantics of systemC. | Jrgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Mller |
| 2001 | DATE | Simulation-guided property checking based on a multi-valued AR-automata. | Jrgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel |
| 2000 | DATE | Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. | Dirk W. Hoffmann, Thomas Kropf |
| 2000 | DATE | Analyzing Real-Time Systems. | Jrgen Ruf, Thomas Kropf |
| 2000 | ICCD | Efficient Design Error Correction of Digital Circuits. | Dirk W. Hoffmann, Thomas Kropf |
| 1999 | DATE | Verifying Imprecisely Working Arithmetic Circuits. | Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis |
| 1999 | ICCD | Automatic Error Correction of Tri-State Circuits. | Dirk W. Hoffmann, Thomas Kropf |
| 1998 | DATE | Formal Specification in VHDL for Hardware Verification. | Ralf Reetz, Klaus Schneider, Thomas Kropf |
| 1998 | FMCAD | Using MTBDDs for Compostion and Model Checking of Real-Time Systems. | Jrgen Ruf, Thomas Kropf |
| 1997 | DATE | Using MTBDDs for discrete timed symbolic model checking. | Thomas Kropf, Jrgen Ruf |
| 1996 | DATE | An Efficient Algorithm for Real-Time Symbolic Model Checking. | Jrgen Frl, Thomas Kropf, Joachim Gerlach |
| 1996 | FMCAD | A Unified Approach for Combining Different Formalisms for Hardware Verification. | Klaus Schneider, Thomas Kropf |
| 1995 | DATE | Verifying real-time properties of MOS-transistor circuits. | Jrgen Frl, Thomas Kropf |
| 1995 | VLSID | Formal synthesis of circuits with a simple handshake protocol. | Ramayya Kumar, Thomas Kropf, Klaus Schneider |
| 1992 | CADE | The FAUST - Prover. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1992 | ITC | HIST: A Methodology for the Automatic Insertion of a Hierarchical Self Test. | Oliver F. Haberl, Thomas Kropf |
| 1992 | VTS | A methodology for the insertion of a hierarchical and boundary-scan compatible self test. | Oliver F. Haberl, Thomas Kropf |
| 1991 | CAV | Automating Most Parts of Hardware Proofs in HOL. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1991 | ITC | A Common Approach to Test Generation and Hardware Verification Based on Temporal Logic. | Thomas Kropf, Hans-Joachim Wunderlich |