Introduction to formal hardware verification T Kropf Springer Science & Business Media, 2013 | 431 | 2013 |
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 | 159 | 2001 |
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 | 99 | 2001 |
Symbolic model checking for a discrete clocked temporal logic with intervals J Ruf, T Kropf Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997 | 68 | 1997 |
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 | 66 | 2009 |
Integrating a First-Order Automatic Prover in the HOL Environment. R Kumar, T Kropf, K Schneider TPHOLs, 170-176, 1991 | 63 | 1991 |
Structuring and automating hardware proofs in a higher-order theorem-proving environment R Kumar, K Schneider, T Kropf Formal Methods in System Design 2, 165-223, 1993 | 60 | 1993 |
Modeling and checking networks of communicating real-time processes J Ruf, T Kropf Advanced Research Working Conference on Correct Hardware Design and …, 1999 | 43 | 1999 |
Formal hardware verification: methods and systems in comparison T Kropf Springer Science & Business Media, 1997 | 41 | 1997 |
Benchmark-circuits for hardware-verification T Kropf International Conference on Theorem Provers in Circuit Design, 1-12, 1994 | 32 | 1994 |
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 | 30 | 1995 |
Using MTBDDs for discrete timed symbolic model checking T Kropf, J Ruf Proceedings European Design and Test Conference. ED & TC 97, 182-187, 1997 | 29 | 1997 |
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: Selected papers …, 2006 | 28 | 2006 |
Modeling and managing context-aware systems’ variability K Mens, R Capilla, H Hartmann, T Kropf IEEE Software 34 (06), 58-63, 2017 | 27 | 2017 |
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 | 26 | 2010 |
A common approach to test generation and hardware verification based on temporal logic T Kropf, H Wunderlich 1991, Proceedings. International Test Conference, 57-66, 1991 | 25 | 1991 |
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 | 23 | 2008 |
An Efficient Algorithm for Real-Time Symbolic Model Checking. J Froessl, T Kropf, J Gerlach ED&TC, 15-21, 1996 | 23 | 1996 |
Efficient design error correction of digital circuits DW Hoffmann, T Kropf Proceedings 2000 International Conference on Computer Design, 465-472, 2000 | 22 | 2000 |
HIST: A methodology for the automatic insertion of a hierarchical self test OF Haberl, T Kropf Proceedings International Test Conference 1992, 732-732, 1992 | 22 | 1992 |