Thomas Kropf
Thomas Kropf
EVP Robert Bosch GmbH, Stuttgart, and Professor of Computer Science, University of Tuebingen
Verified email at uni-tuebingen.de - Homepage
Title
Cited by
Cited by
Year
Introduction to formal hardware verification
T Kropf
Springer Science & Business Media, 2013
4012013
The simulation semantics of SystemC
W Mueller, J Ruf, D Hoffmann, J Gerlach, T Kropf, W Rosenstiehl
Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001
1452001
Simulation-guided property checking based on multi-valued ar-automata
J Ruf, DW Hoffmann, T Kropf, W Rosenstiel
Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001
902001
Symbolic model checking for a discrete clocked temporal logic with intervals
J Ruf, T Kropf
Advances in Hardware Design and Verification, 146-163, 1997
671997
Integrating a First-Order Automatic Prover in the HOL Environment.
R Kumar, T Kropf, K Schneider
TPHOLs, 170-176, 1991
591991
Structuring and automating hardware proofs in a higher-order theorem-proving environment
R Kumar, K Schneider, T Kropf
Formal Methods in System Design 2 (2), 165-223, 1993
551993
Linking functional requirements and software verification
H Post, C Sinz, F Merz, T Gorges, T Kropf
2009 17th IEEE International Requirements Engineering Conference, 295-302, 2009
502009
Formal hardware verification: methods and systems in comparison
T Kropf
Springer Science & Business Media, 1997
411997
Modeling and checking networks of communicating real-time processes
J Ruf, T Kropf
Advanced Research Working Conference on Correct Hardware Design and …, 1999
401999
Verifying hardware correctness by combining theorem proving and model checking
K Schneider, T Kropf
Higher Order Logic Theorem Proving and Its Applications: Short Presentations …, 1995
321995
Benchmark-circuits for hardware-verification
T Kropf
International Conference on Theorem Provers in Circuit Design, 1-12, 1994
321994
Using MTBDDs for discrete timed symbolic model checking
T Kropf, J Ruf
Proceedings European Design and Test Conference. ED & TC 97, 182-187, 1997
301997
An Efficient Algorithm for Real-Time Symbolic Model Checking.
J Froessl, T Kropf, J Gerlach
ED&TC, 15-21, 1996
261996
Efficient and customizable integration of temporal properties into SystemC
RJ Weiss, J Ruf, T Kropf, W Rosenstiel
Applications of Specification and Design Languages for SoCs, 101-114, 2006
252006
Automating most parts of hardware proofs in HOL
K Schneider, R Kumar, T Kropf
International Conference on Computer Aided Verification, 365-375, 1991
251991
Towards assertion-based verification of heterogeneous system designs
S Lammermann, J Ruf, T Kropf, W Rosenstiel, A Viehl, A Jesser, ...
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
242010
HIST: A methodology for the automatic insertion of a hierarchical self test
OF Haberl, T Kropf
Proceedings International Test Conference 1992, 732-732, 1992
231992
Verification of temporal properties in automotive embedded software
D Lettnin, PK Nalla, J Ruf, T Kropf, W Rosenstiel, T Kirsten, ...
Proceedings of the conference on Design, automation and test in Europe, 164-169, 2008
222008
A common approach to test generation and hardware verification based on temporal logic
T Kropf, HJ Wunderlich
1991, Proceedings. International Test Conference, 57-66, 1991
221991
Efficient design error correction of digital circuits
DW Hoffmann, T Kropf
Proceedings 2000 International Conference on Computer Design, 465-472, 2000
212000
The system can't perform the operation now. Try again later.
Articles 1–20