Viktor Schuppan

According to our database1, Viktor Schuppan
  • authored at least 24 papers between 2000 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Enhancing unsatisfiable cores for LTL with information on temporal relevance.
Theor. Comput. Sci., 2016

Extracting unsatisfiable cores for LTL via temporal resolution.
Acta Inf., 2016

2013
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance.
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Extracting Unsatisfiable Cores for LTL via Temporal Resolution.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

2012
Towards a notion of unsatisfiable and unrealizable cores for LTL.
Sci. Comput. Program., 2012

Extracting Unsatisfiable Cores for LTL via Temporal Resolution
CoRR, 2012

2011
Evaluating LTL Satisfiability Solvers.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
RATSY - A New Requirements Analysis Tool with Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Towards a Notion of Unsatisfiable Cores for LTL.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Diagnostic Information for Realizability.
Proceedings of the Verification, 2008

Survey on Directed Model Checking.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007
Boolean Abstraction for Temporal Logic Satisfiability.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Liveness checking as safety checking to find shortest counterexamples to linear time properties.
PhD thesis, 2006

Linear Encodings of Bounded LTL Model Checking.
Logical Methods in Computer Science, 2006

Liveness Checking as Safety Checking for Infinite State Spaces.
Electr. Notes Theor. Comput. Sci., 2006

Linear Encodings of Bounded LTL Model Checking
CoRR, 2006

2005
JVM Independent Replay in Java.
Electr. Notes Theor. Comput. Sci., 2005

Shortest Counterexamples for Symbolic Model Checking of LTL with Past.
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.
STTT, 2004

JNuke: Efficient Dynamic Analysis for Java.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV.
Formal Asp. Comput., 2003

Formal Methods Group ETH Zürich.
Electr. Notes Theor. Comput. Sci., 2003

2002
Liveness Checking as Safety Checking.
Electr. Notes Theor. Comput. Sci., 2002

2000
A CMM-Based Evaluation of the V-Model 97.
Proceedings of the Software Process Technology, 7th European Workshop, 2000


  Loading...