Viktor Schuppan

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 4

Top Topics

Unsatisfiable Cores

Hidden Structure

Top Venues

Acta Informatica

Sci. Comput. Program.

ETH Zurich (PHD)

Education History

ETH Zurich

PHD

Publications

Viktor Schuppan
Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. Int. J. Artif. Intell. Tools 29 (03n04) (2020)
Viktor Schuppan
Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. ICTAI (2018)
Viktor Schuppan
Enhancing unsatisfiable cores for LTL with information on temporal relevance. Theor. Comput. Sci. 655 (2016)
Viktor Schuppan
Extracting unsatisfiable cores for LTL via temporal resolution. Acta Informatica 53 (3) (2016)
Viktor Schuppan
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. QAPL (2013)
Viktor Schuppan
Extracting Unsatisfiable Cores for LTL via Temporal Resolution. TIME (2013)
Viktor Schuppan
Towards a notion of unsatisfiable and unrealizable cores for LTL. Sci. Comput. Program. 77 (7-8) (2012)
Viktor Schuppan
Extracting Unsatisfiable Cores for LTL via Temporal Resolution CoRR (2012)
Viktor Schuppan, Luthfi Darmawan
Evaluating LTL Satisfiability Solvers. ATVA (2011)
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
RATSY - A New Requirements Analysis Tool with Synthesis. CAV (2010)
Viktor Schuppan
Towards a Notion of Unsatisfiable Cores for LTL. FSEN (2009)
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
Survey on Directed Model Checking. MoChArt (2008)
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev
Diagnostic Information for Realizability. VMCAI (2008)
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
Boolean Abstraction for Temporal Logic Satisfiability. CAV (2007)
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking. Log. Methods Comput. Sci. 2 (5) (2006)
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
Linear Encodings of Bounded LTL Model Checking CoRR (2006)
Viktor Schuppan, Armin Biere
Shortest Counterexamples for Symbolic Model Checking of LTL with Past. TACAS (2005)
Viktor Schuppan, Marcel Baur, Armin Biere
JVM Independent Replay in Java. Electron. Notes Theor. Comput. Sci. 113 (2005)
Viktor Schuppan, Armin Biere
Liveness Checking as Safety Checking for Infinite State Spaces. INFINITY (2005)
Viktor Schuppan, Armin Biere
Efficient reduction of finite state model checking to reachability analysis. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
JNuke: Efficient Dynamic Analysis for Java. CAV (2004)
Viktor Schuppan, Armin Biere
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Formal Aspects Comput. 14 (3) (2003)
Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan
Formal Methods Group ETH Zürich. Electron. Notes Theor. Comput. Sci. 80 (2003)
Armin Biere, Cyrille Artho, Viktor Schuppan
Liveness Checking as Safety Checking. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Viktor Schuppan, Winfried Rußwurm
A CMM-Based Evaluation of the V-Model 97. EWSPT (2000)