A CMM-Based Evaluation of the V-Model 97. - Viktor Schuppan; Winfried Rußwurm (EWSPT, 2000)

Liveness Checking as Safety Checking. - Armin Biere; Cyrille Artho; Viktor Schuppan (FMICS, 2002)

Formal Methods Group ETH Zürich. - Armin Biere; Cyrille Artho; Malek Haroud; Viktor Schuppan (FMICS, 2003)

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. - Viktor Schuppan; Armin Biere (Formal Aspects Comput., 2003)

JNuke: Efficient Dynamic Analysis for Java. - Cyrille Artho; Viktor Schuppan; Armin Biere; Pascal Eugster; Marcel Baur; Boris Zweimüller (CAV, 2004)

JVM Independent Replay in Java. - Viktor Schuppan; Marcel Baur; Armin Biere (RV@ETAPS, 2004)

Efficient reduction of finite state model checking to reachability analysis. - Viktor Schuppan; Armin Biere (Int. J. Softw. Tools Technol. Transf., 2004)

Shortest Counterexamples for Symbolic Model Checking of LTL with Past. - Viktor Schuppan; Armin Biere (TACAS, 2005)

Liveness Checking as Safety Checking for Infinite State Spaces. - Viktor Schuppan; Armin Biere (INFINITY, 2005)

Linear Encodings of Bounded LTL Model Checking. - Armin Biere; Keijo Heljanko; Tommi A. Junttila; Timo Latvala; Viktor Schuppan (Log. Methods Comput. Sci., 2006)

Liveness checking as safety checking to find shortest counterexamples to linear time properties. - Viktor Schuppan (2006)

Boolean Abstraction for Temporal Logic Satisfiability. - Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta (CAV, 2007)

Survey on Directed Model Checking. - Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar Fehnker; Husain Aljazzar (MoChArt, 2008)

Diagnostic Information for Realizability. - Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev (VMCAI, 2008)

Towards a Notion of Unsatisfiable Cores for LTL. - Viktor Schuppan (FSEN, 2009)

RATSY - A New Requirements Analysis Tool with Synthesis. - Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Könighofer; Marco Roveri; Viktor Schuppan; Richard Seeber (CAV, 2010)

Evaluating LTL Satisfiability Solvers. - Viktor Schuppan; Luthfi Darmawan (ATVA, 2011)

Towards a notion of unsatisfiable and unrealizable cores for LTL. - Viktor Schuppan (Sci. Comput. Program., 2012)

Extracting unsatisfiable cores for LTL via temporal resolution. - Viktor Schuppan (Acta Informatica, 2016)

Enhancing unsatisfiable cores for LTL with information on temporal relevance. - Viktor Schuppan (Theor. Comput. Sci., 2016)

Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. - Viktor Schuppan (Int. J. Artif. Intell. Tools, 2020)