Searching for authors named "Thomas Kropf" – sorted by Relevance.
-
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

