BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
2 × USA
2 × United Kingdom
Collaborated with:
A.Biere A.Cimatti M.Roveri A.Tchaltsev S.Tonetta C.Artho P.Eugster M.Baur B.Zweimüller R.Bloem K.Greimel G.Hofferek R.Könighofer R.Seeber
Talks about:
analysi (2) tempor (2) inform (2) ltl (2) counterexampl (1) unsatisfi (1) synthesi (1) shortest (1) diagnost (1) abstract (1)

Person: Viktor Schuppan

DBLP DBLP: Schuppan:Viktor

Contributed to:

QAPL 20132013
CAV 20102010
VMCAI 20082008
CAV 20072007
TACAS 20052005
CAV 20042004

Wrote 6 papers:

QAPL-2013-Schuppan #ltl #satisfiability
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance (VS), pp. 49–65.
CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
Diagnostic Information for Realizability (AC, MR, VS, AT), pp. 52–67.
CAV-2007-CimattiRST #abstraction #logic #satisfiability
Boolean Abstraction for Temporal Logic Satisfiability (AC, MR, VS, ST), pp. 532–546.
TACAS-2005-SchuppanB #ltl #model checking
Shortest Counterexamples for Symbolic Model Checking of LTL with Past (VS, AB), pp. 493–509.
CAV-2004-ArthoSBEBZ #dynamic analysis #java #named #performance
JNuke: Efficient Dynamic Analysis for Java (CA, VS, AB, PE, MB, BZ), pp. 462–465.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.