Viktor Schuppan

Available identifiers

zbMath Open schuppan.viktorMaRDI QIDQ266862

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4992524	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
https://portal.mardi4nfdi.de/entity/Q2852018	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Viktor Schuppan