A hardware implementation of a modified DES-algorithm. - Thomas Kropf; Jürgen Frößl; W. Beller; T. Giesler (Microprocessing and Microprogramming, 1990)

Automating Most Parts of Hardware Proofs in HOL. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (CAV, 1991)

A Common Approach to Test Generation and Hardware Verification Based on Temporal Logic. - Thomas Kropf; Hans-Joachim Wunderlich (ITC, 1991)

Integrating a First-Order Automatic Prover in the HOL Environment. - Ramayya Kumar; Thomas Kropf; Klaus Schneider 001 (TPHOLs, 1991)

First Steps Towards Automating Hardware Proofs in HOL. - Ramayya Kumar; Thomas Kropf; Klaus Schneider 001 (TPHOLs, 1991)

Structure in Hardware Proofs: First Steps Towards Automation in a Higher-Order Environment. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (VLSI, 1991)

The FAUST - Prover. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (CADE, 1992)

A chip solution to hierarchical and boundary-scan compatible board level BIST. - Oliver F. Haberl; Thomas Kropf (Great Lakes Symposium on VLSI, 1992)

HIST: A Methodology for the Automatic Insertion of a Hierarchical Self Test. - Oliver F. Haberl; Thomas Kropf (ITC, 1992)

Efficient Representation and Computation of Tableau Proofs. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (TPHOLs, 1992)

Modelling Generic Hardware Structures by Abstract Datatypes. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (TPHOLs, 1992)

A methodology for the insertion of a hierarchical and boundary-scan compatible self test. - Oliver F. Haberl; Thomas Kropf (VTS, 1992)

Embedding Hardware Verification Within a Commercial Design Framework. - Thomas Kropf; Ramayya Kumar; Klaus Schneider 001 (CHARME, 1993)

Hardware-Verification using First Order BDDs. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (CHDL, 1993)

Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (HUG, 1993)

Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (HUG, 1993)

Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. - Ramayya Kumar; Klaus Schneider 001; Thomas Kropf (Formal Methods Syst. Des., 1993)

Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik. - Thomas Kropf (VDI-Verlag, 1993)

A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation. - Jürgen Frößl; Thomas Kropf (EDAC-ETC-EUROASIC, 1994)

Self Testable Boards with Standard IEEE 1149.5 Module Test and Maintenance (MTM) Bus Interface. - Oliver F. Haberl; Thomas Kropf (EDAC-ETC-EUROASIC, 1994)

Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path. - Klaus Schneider 001; Thomas Kropf; Ramayya Kumar (EDAC-ETC-EUROASIC, 1994)

Benchmark-Circuits for Hardware-Verification. - Thomas Kropf (TPCD, 1994)

A Formal Framework for High Level Synthesis. - Thomas Kropf; Klaus Schneider 001; Ramayya Kumar (TPCD, 1994)

Simplifying Deep Embedding: A Formalised Code Generator. - Ralf Reetz; Thomas Kropf (TPHOLs, 1994)

Automating Verification by Functional Abstraction at the System Level. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (TPHOLs, 1994)

Accelerating Tableaux Proofs Using Compact Representations. - Klaus Schneider 001; Ramayya Kumar; Thomas Kropf (Formal Methods Syst. Des., 1994)

Verifying real-time properties of MOS-transistor circuits. - Jürgen Frößl; Thomas Kropf (ED&TC, 1995)

Formal synthesis of circuits with a simple handshake protocol. - Ramayya Kumar; Thomas Kropf; Klaus Schneider 001 (VLSI Design, 1995)

HIST: A hierarchical self test methodology for chips, boards, and systems. - Oliver F. Haberl; Thomas Kropf (J. Electron. Test., 1995)

A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. - Ralf Reetz; Thomas Kropf (Formal Methods Syst. Des., 1995)

An Efficient Algorithm for Real-Time Symbolic Model Checking. - Jürgen Frößl; Thomas Kropf; Joachim Gerlach (ED&TC, 1996)

A Unified Approach for Combining Different Formalisms for Hardware Verification. - Klaus Schneider 001; Thomas Kropf (FMCAD, 1996)

Symbolic model checking for a discrete clocked temporal logic with intervals. - Jürgen Ruf; Thomas Kropf (CHARME, 1997)

Using MTBDDs for discrete timed symbolic model checking. - Thomas Kropf; Jürgen Ruf (ED&TC, 1997)

Appendix: The Common Book Examples. - Thomas Kropf (Formal Hardware Verification, 1997)

The C@S System. - Klaus Schneider 001; Thomas Kropf (Formal Hardware Verification, 1997)

A New Algorithm for Discrete Timed Symbolic Model Checking. - Jürgen Ruf; Thomas Kropf (HART, 1997)

Formal Specification in VHDL for Hardware Verification. - Ralf Reetz; Klaus Schneider 001; Thomas Kropf (DATE, 1998)

Using MTBDDs for Compostion and Model Checking of Real-Time Systems. - Jürgen Ruf; Thomas Kropf (FMCAD, 1998)

A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. - Thomas Kropf; Jürgen Ruf; Klaus Schneider 001; Markus Wild (MBMV, 1998)

Formale Methoden bei der Spezifikation von Hardware. - Werner Grass; Thomas Kropf; Matthias Mutz (Informationstechnik Tech. Inform., 1998)

Introduction to Formal Hardware Verification. - Thomas Kropf (Springer, 1999)

Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. - Dirk W. Hoffmann; Thomas Kropf (CHARME, 1999)

Modleing and Checking Networks of Communicating Real-Time Process. - Jürgen Ruf; Thomas Kropf (CHARME, 1999)

Verifying Imprecisely Working Arithmetic Circuits. - Michaela Huhn; Klaus Schneider 001; Thomas Kropf; George Logothetis (DATE, 1999)

Automatic Error Correction of Tri-State Circuits. - Dirk W. Hoffmann; Thomas Kropf (ICCD, 1999)

Modeling Real-Time Systems with I/O-Interval Structures. - Jürgen Ruf; Thomas Kropf (MBMV, 1999)

Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage. - Thomas Kropf (TPHOLs, 1999)

Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. - Thomas Kropf; Joachim Gerlach; Jürgen Haufe; Mathias Kortke (Informationstechnik Tech. Inform., 1999)

Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. - Dirk W. Hoffmann; Thomas Kropf (DATE, 2000)

Analyzing Real-Time Systems. - Jürgen Ruf; Thomas Kropf (DATE, 2000)

Can Automatic Design Error Correction be Applied to Large Circuits? - Dirk W. Hoffmann; Thomas Kropf (EUROMICRO, 2000)

Simulation Meets Verification: Checking Temporal Properties in SystemC. - Dirk W. Hoffmann; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (EUROMICRO, 2000)

Checking temporal properties under simulation of executable system descriptions. - Jürgen Ruf; Dirk W. Hoffmann; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2000)

Efficient Design Error Correction of Digital Circuits. - Dirk W. Hoffmann; Thomas Kropf (ICCD, 2000)

The simulation semantics of systemC. - Jürgen Ruf; Dirk W. Hoffmann; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Wolfgang Müller 003 (DATE, 2001)

Simulation-guided property checking based on a multi-valued AR-automata. - Jürgen Ruf; Dirk W. Hoffmann; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2001)

Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). - Jürgen Ruf; Thomas Kropf (Informationstechnik Tech. Inform., 2001)

Formal Data Analysis of Timed Finite State Systems. - Jürgen Ruf; Thomas Kropf (ECRTS, 2002)

A Visual Approach to Validating System Level Designs. - Jürgen Ruf; Thomas Kropf; Jochen Klose (ISSS, 2002)

Combination of Simulation and Formal Verification. - Jürgen Ruf; Thomas Kropf (MBMV, 2002)

Using Symbolic Simulation for Bounded Property Checking. - Jürgen Ruf; Prakash Mohan Peranandam; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2003)

Symbolic Verification and Analysis of Discrete Timed Systems. - Jürgen Ruf; Thomas Kropf (Formal Methods Syst. Des., 2003)

Modeling and Formal Verification of Production Automation Systems. - Jürgen Ruf; Roland J. Weiss; Thomas Kropf; Wolfgang Rosenstiel (SoftSpez Final Report, 2004)

Dynamic guiding of bounded property checking. - Prakash Mohan Peranandam; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2004)

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. - Prakash Mohan Peranandam; Roland J. Weiss; Jürgen Ruf; Thomas Kropf (MBMV, 2004)

Efficient and Customizable Integration of Temporal Properties. - Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2005)

Overlap reduction in symbolic system traversal. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2005)

Distributed Symbolic Bounded Property Checking. - Pradeep Kumar Nalla; Roland J. Weiss; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (PDMC@ICALP, 2005)

Fast falsification based on symbolic bounded property checking. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Thomas Kropf; Wolfgang Rosenstiel (DAC, 2006)

Monitoring-based Formal Hardware Verification. - Paul Duplys; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2006)

Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. - Stefan Lämmermann; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2006)

Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? - Thomas Kropf (CAV, 2007)

Grid Based Fast Falsification For Bounded Property Checking. - Pradeep Kumar Nalla; Jörg Behrend; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2007)

Coverage Driven Verification applied to Embedded Software. - Djones Lettnin; Markus Winterholer; Axel G. Braun; Joachim Gerlach; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ISVLSI, 2007)

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. - Stefan Lämmermann; Jörg Behrend; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Semiformal Verification of Temporal Properties in Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Axel G. Braun; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Verification of Temporal Properties in Automotive Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Tobias Kirsten; Volker Schönknecht; Stephan Reitemeyer (DATE, 2008)

Advanced Assertion-Based Design for Mixed-Signal Verification. - Alexander Jesser; Stefan Lämmermann; Alexander Pacholik; Roland Weiss; Jürgen Ruf; Lars Hedrich; Wolfgang Fengler 001; Thomas Kropf; Wolfgang Rosenstiel (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Semiformal verification of temporal properties in automotive hardware dependent software. - Djones Lettnin; Pradeep Kumar Nalla; Jörg Behrend; Jürgen Ruf; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Volker Schönknecht; Stephan Reitemeyer (DATE, 2009)

Linking Functional Requirements and Software Verification. - Hendrik Post; Carsten Sinz; Florian Merz 001; Thomas Gorges; Thomas Kropf (RE, 2009)

Towards assertion-based verification of heterogeneous system designs. - Stefan Lämmermann; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Alexander Viehl; Alexander Jesser; Lars Hedrich (DATE, 2010)

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. - Patrick Heckeler; Jörg Behrend; Thomas Kropf; Jürgen Ruf; Wolfgang Rosenstiel; Roland J. Weiss (FM+AM, 2010)

Abstract Testing: Connecting Source Code Verification with Requirements. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (QUATIC, 2010)

Scalable hybrid verification for embedded software. - Jörg Behrend; Djones Lettnin; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2011)

Scalable and Extendable Hybrid Verification Platform. - Jörg Behrend; Patrick Heckeler; Stefan Huster; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2011)

DWARF-driven Equivalence Checking of UML Statecharts and Software Components. - Patrick Heckeler; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Roland Weiss (Softwaretechnik-Trends, 2011)

Optimized Static Parameter Assignment for Semiformal Software Verification. - Alexander Grünhage; Jörg Behrend; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Djones Lettnin (MBMV, 2012)

Maneuver decision for active pedestrian protection under uncertainty. - Christian Bräuchle; Folko Flehmig; Wolfgang Rosenstiel; Thomas Kropf (ITSC, 2013)

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. - Hanno Eichelberger; Patrick Heckeler; Stefan Huster; Sebastian Burg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Bastian Schlich (MBMV, 2013)

A Software Testing Framework to Integrate Formal Verification Results. - Stefan Huster; Patrick Heckeler; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2013)

Accelerated robustness testing of state-based components using reverse execution. - Patrick Heckeler; Bastian Schlich; Thomas Kropf (SAC, 2013)

Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. - Hanno Eichelberger; Jürgen Ruf; Thomas Kropf; Thomas Greiner; Wolfgang Rosenstiel (ICCSA (5), 2014)

Optimized hybrid verification of embedded software. - Jörg Behrend; Alexander Grünhage; Douglas Schroeder; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (LATW, 2014)

LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. - Sebastian Burg; Patrick Heckeler; Stefan Huster; Hanno Eichelberger; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Oliver Bringmann 001 (MBMV, 2014)

Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. - Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Stefan Huster; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel; Thomas Greiner (MBMV, 2014)

Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. - Stefan Huster; Merdin Macic; Sebastian Burg; Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2014)

More Flexible Object Invariants with Less Specification Overhead. - Stefan Huster; Patrick Heckeler; Hanno Eichelberger; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2014)

Efficient Fault Localization During Replay of Embedded Software. - Hanno Eichelberger; Thomas Kropf; Jürgen Ruf; Thomas Greiner; Wolfgang Rosenstiel (EUROMICRO-SEAA, 2015)

Efficient Testing of Different Loop Paths. - Stefan Huster; Sebastian Burg; Hanno Eichelberger; Jo Laufenberg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2015)

Scalable and Optimized Hybrid Verification of Embedded Software. - Jörg Behrend; Djones Lettnin; Alexander Grünhage; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (J. Electron. Test., 2015)

Bridging the gap between test cases and requirements by abstract testing. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (Innov. Syst. Softw. Eng., 2015)

Combining graph-based guidance with error effect simulation for efficient safety analysis. - Jo Laufenberg; Sebastian Reiter 003; Alexander Viehl; Oliver Bringmann 001; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2016)

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. - Stefan Huster; Jonas Ströbele; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ICTSS, 2017)

Modeling and Managing Context-Aware Systems' Variability. - Kim Mens; Rafael Capilla; Herman Hartmann; Thomas Kropf (IEEE Softw., 2017)

Automated Graph-Based Fault Injection Into Virtual Prototypes for Robustness Evaluation. - Jo Laufenberg; Thomas Kropf; Oliver Bringmann 001 (ETS, 2020)

A Framework for CAN Communication and Attack Simulation. - Jo Laufenberg; Thomas Kropf; Oliver Bringmann 001 (VTC Spring, 2022)

CAN Simulation Framework - From Classic CAN to CAN XL. - Jo Laufenberg; Thomas Kropf; Oliver Bringmann 001 (ITSC, 2023)

Attack Simulation and Adaptation in CAN for Training and Evaluation of IDS. - Jo Laufenberg; Susanne Throner; Thomas Kropf; Oliver Bringmann 001 (IV, 2023)

Simulation and Detection of Bus-Off Attacks in CAN. - Jo Laufenberg; Heiner Graser; Thomas Kropf; Oliver Bringmann 001 (IV, 2024)