|
Search the dblp DataBase
Viktor Schuppan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
JNuke: Efficient Dynamic Analysis for Java. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:462-465 [Conf]
- Viktor Schuppan, Winfried Rußwurm
A CMM-Based Evaluation of the V-Model 97. [Citation Graph (0, 0)][DBLP] EWSPT, 2000, pp:69-83 [Conf]
- Viktor Schuppan, Armin Biere
Shortest Counterexamples for Symbolic Model Checking of LTL with Past. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:493-509 [Conf]
- Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan
Formal Methods Group ETH Zürich. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
- Armin Biere, Cyrille Artho, Viktor Schuppan
Liveness Checking as Safety Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
- Viktor Schuppan, Armin Biere
Liveness Checking as Safety Checking for Infinite State Spaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:79-96 [Journal]
- Viktor Schuppan, Marcel Baur, Armin Biere
JVM Independent Replay in Java. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:85-104 [Journal]
- Viktor Schuppan, Armin Biere
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2003, v:14, n:3, pp:267-280 [Journal]
- Viktor Schuppan, Armin Biere
Efficient reduction of finite state model checking to reachability analysis. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:2-3, pp:185-204 [Journal]
- Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:532-546 [Conf]
- Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
RATSY - A New Requirements Analysis Tool with Synthesis. [Citation Graph (, )][DBLP]
Diagnostic Information for Realizability. [Citation Graph (, )][DBLP]
Survey on Directed Model Checking. [Citation Graph (, )][DBLP]
Towards a Notion of Unsatisfiable Cores for LTL. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|