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: Schuppan:Viktor
Contributed to:
2013
2010
20082007
20052004Wrote 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.
- VMCAI-2008-CimattiRST
- 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.