Viktor Schuppan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2004–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICTAI | Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. | Viktor Schuppan |
| 2013 | TIME | Extracting Unsatisfiable Cores for LTL via Temporal Resolution. | Viktor Schuppan |
| 2011 | ATVA | Evaluating LTL Satisfiability Solvers. | Viktor Schuppan, Luthfi Darmawan |
| 2010 | CAV | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2008 | VMCAI | Diagnostic Information for Realizability. | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
| 2007 | CAV | Boolean Abstraction for Temporal Logic Satisfiability. | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
| 2005 | TACAS | Shortest Counterexamples for Symbolic Model Checking of LTL with Past. | Viktor Schuppan, Armin Biere |
| 2004 | CAV | JNuke: Efficient Dynamic Analysis for Java. | Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimller |