Viktor Schuppan

According to our database, Viktor Schuppan authored at least 21 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers.

Viktor Schuppan

Int. J. Artif. Intell. Tools, 2020

2016

Enhancing unsatisfiable cores for LTL with information on temporal relevance.

Viktor Schuppan

Theor. Comput. Sci., 2016

Extracting unsatisfiable cores for LTL via temporal resolution.

Viktor Schuppan

Acta Informatica, 2016

2012

Towards a notion of unsatisfiable and unrealizable cores for LTL.

Viktor Schuppan

Sci. Comput. Program., 2012

2011

Evaluating LTL Satisfiability Solvers.

Viktor Schuppan, Luthfi Darmawan

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

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

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Towards a Notion of Unsatisfiable Cores for LTL.

Viktor Schuppan

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Diagnostic Information for Realizability.

Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev

Proceedings of the Verification, 2008

Survey on Directed Model Checking.

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

Boolean Abstraction for Temporal Logic Satisfiability.

Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Liveness checking as safety checking to find shortest counterexamples to linear time properties.

Viktor Schuppan

PhD thesis, 2006

Linear Encodings of Bounded LTL Model Checking.

Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan

Log. Methods Comput. Sci., 2006

2005

Liveness Checking as Safety Checking for Infinite State Spaces.

Viktor Schuppan, Armin Biere

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Shortest Counterexamples for Symbolic Model Checking of LTL with Past.

Viktor Schuppan, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Efficient reduction of finite state model checking to reachability analysis.

Viktor Schuppan, Armin Biere

Int. J. Softw. Tools Technol. Transf., 2004

JVM Independent Replay in Java.

Viktor Schuppan, Marcel Baur, Armin Biere

Proceedings of the Fourth Workshop on Runtime Verification, 2004

JNuke: Efficient Dynamic Analysis for Java.

Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV.

Viktor Schuppan, Armin Biere

Formal Aspects Comput., 2003

Formal Methods Group ETH Zürich.

Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

Liveness Checking as Safety Checking.

Armin Biere, Cyrille Artho, Viktor Schuppan

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2000

A CMM-Based Evaluation of the V-Model 97.

Viktor Schuppan, Winfried Rußwurm

Proceedings of the Software Process Technology, 7th European Workshop, 2000