Searching for authors named "Thomas Kropf" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Hardware-Verification using First Order BDDs
- … Kropf Institut fur Rechnerentwurf und Fehlertoleranz, (Prof. Dr. D. Schmid), Universitat Karlsruhe…
- Add To MetaCart
-
Analyzing Real-Time Systems
- …Analyzing Real-Time Systems 1 Jürgen Ruf and Thomas Kropf Wilhelm-Schickard-Institute University…
- Cited by 7 (4 self) – Add To MetaCart
-
A unified approach for combining different formalisms for hardware verification
- … and Thomas Kropf University of Karlsruhe, Department of Computer Science, Institute for Computer Design…
- Cited by 4 (1 self) – Add To MetaCart
-
Using MTBDDs for Discrete Timed Symbolic Model Checking
- …Using MTBDDs for Discrete Timed Symbolic Model Checking Thomas Kropf J�urgen Ruf Institute…
- Cited by 6 (3 self) – Add To MetaCart
-
Verifying Hardware Correctness by Combining Theorem Proving and Model Checking
- … and Thomas Kropf University of Karlsruhe, Department of Computer Science, Institute of Computer Design…
- Cited by 16 (0 self) – Add To MetaCart
-
A Common Approach To Test Generation And Hardware Verification Based On Temporal Logic
- … Kropf, Hans-Joachim Wunderlich University of Karlsruhe, Institute of Computer Design and Fault Tolerance…
- Cited by 10 (0 self) – Add To MetaCart
-
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification
- … ? Klaus Schneider 1 , Ramayya Kumar 2 and Thomas Kropf 1 1 Universitat Karlsruhe, Institut fur…
- Add To MetaCart
-
Automating Verification by Functional Abstraction at the System Level
- … , Ramayya Kumar 2 and Thomas Kropf 1 1 Universitat Karlsruhe, Institut fur Rechnerentwurf und…
- Add To MetaCart
-
Accelerating Tableaux Proofs using Compact Representations
- … , and Thomas Kropf Institut fur Rechnerentwurf und Fehlertoleranz, (Prof. Dr. D. Schmid), Universitat…
- Add To MetaCart
-
The Synchronous System Description Language PURR
- …The Synchronous System Description Language PURR ? Thomas Kropf, J��rgen Ruf, Klaus Schneider…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
