Viktor Schuppan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Enhancing unsatisfiable cores for LTL with information on temporal relevance	2021-06-09	Paper
Enhancing unsatisfiable cores for LTL with information on temporal relevance Theoretical Computer Science	2017-02-06	Paper
Extracting unsatisfiable cores for LTL via temporal resolution Acta Informatica	2016-04-07	Paper
Liveness checking as safety checking for infinite state spaces	2013-10-07	Paper
Towards a notion of unsatisfiable and unrealizable cores for LTL Science of Computer Programming	2012-07-13	Paper
Towards a notion of unsatisfiable cores for LTL Fundamentals of Software Engineering	2010-01-28	Paper
Survey on Directed Model Checking Model Checking and Artificial Intelligence	2009-03-17	Paper
Diagnostic Information for Realizability Lecture Notes in Computer Science	2008-04-04	Paper
Boolean Abstraction for Temporal Logic Satisfiability Computer Aided Verification	2007-11-29	Paper
Linear Encodings of Bounded LTL Model Checking Logical Methods in Computer Science	2007-10-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Verifying the IEEE 1394 fireWire tree identify protocol with SMV Formal Aspects of Computing	2003-08-27	Paper

Research outcomes over time

This page was built for person: Viktor Schuppan