Searching for authors named "Viktor Schuppan" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV
- …Wire Tree Identify Protocol with SMV Viktor Schuppan and Armin Biere Computer Systems Institute Department…
- Cited by 3 (0 self) – Add To MetaCart
-
A CMM-Based Evaluation of the V-Model 97
- …A CMM-Based Evaluation of the V-Model 97 Viktor Schuppan 1 and Winfried Rußwurm 2 1 Institut für…
- Cited by 1 (0 self) – Add To MetaCart
-
A Simple Verification of the Tree Identify Protocol with SMV
- …A Simple Verification of the Tree Identify Protocol with SMV 1 Motivation Viktor Schuppan…
- Cited by 6 (1 self) – Add To MetaCart
-
Efficient Reduction of Finite State Model Checking to Reachability Analysis
- … reduction of finite state model checking to reachability analysis ⋆ Viktor Schuppan, Armin Biere Computer…
- Cited by 13 (3 self) – Add To MetaCart
-
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
- …Shortest Counterexamples for Symbolic Model Checking of LTL with Past Viktor Schuppan 1 and Armin…
- Cited by 9 (1 self) – Add To MetaCart
-
Liveness Checking as Safety Checking for Infinite State Spaces
- … Viktor Schuppan 1 ETH Zürich, Computer Systems Institute, CH-8092 Zürich, Switzerland Armin Biere 2…
- Cited by 1 (0 self) – Add To MetaCart
-
JVM Independent Replay in Java
- …RV’04 Preliminary Version JVM Independent Replay in Java Viktor Schuppan 1 , Marcel Baur 2 , Armin…
- Cited by 5 (2 self) – Add To MetaCart
-
Liveness Checking as Safety Checking
- …://www.elsevier.nl/locate/entcs/volume66.html 18 pages Liveness Checking as Safety Checking Armin Biere, Cyrille Artho, Viktor Schuppan…
- Cited by 29 (2 self) – Add To MetaCart
-
JNuke: Efficient Dynamic Analysis for Java
- …JNuke: Efficient Dynamic Analysis for Java Cyrille Artho 1 , Viktor Schuppan 1 , Armin Biere 1…
- Cited by 15 (12 self) – Add To MetaCart
Showing 1 through 9.
