The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viktor Schuppan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]

  12. RATSY - A New Requirements Analysis Tool with Synthesis. [Citation Graph (, )][DBLP]


  13. Diagnostic Information for Realizability. [Citation Graph (, )][DBLP]


  14. Survey on Directed Model Checking. [Citation Graph (, )][DBLP]


  15. Towards a Notion of Unsatisfiable Cores for LTL. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002