Viktor Schuppan

Available identifiers

zbMath Open schuppan.viktorMaRDI QIDQ266862

List of research outcomes

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	2017-02-06	Paper
Extracting unsatisfiable cores for LTL via temporal resolution	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	2012-07-13	Paper
Towards a notion of unsatisfiable cores for LTL	2010-01-28	Paper
Survey on Directed Model Checking	2009-03-17	Paper
Diagnostic Information for Realizability	2008-04-04	Paper
Boolean Abstraction for Temporal Logic Satisfiability	2007-11-29	Paper
Linear Encodings of Bounded LTL Model Checking	2007-10-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
Verifying the IEEE 1394 fireWire tree identify protocol with SMV	2003-08-27	Paper

This page was built for person: Viktor Schuppan