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 × Hungary
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
M.Wehrle A.Podelski J.Hoffmann K.G.Larsen B.Nebel K.Dräger B.Finkbeiner H.Dierks G.Behrmann
Talks about:
abstract (3) direct (3) model (3) check (3) uppaal (2) base (2) succinct (1) accuraci (1) transit (1) russian (1)

Person: Sebastian Kupferschmid

DBLP DBLP: Kupferschmid:Sebastian

Contributed to:

TACAS 20112011
TACAS 20092009
CAV 20082008
TACAS 20082008
TACAS 20072007

Wrote 5 papers:

TACAS-2011-KupferschmidW #abstraction #database
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (SK, MW), pp. 276–290.
TACAS-2009-WehrleKP #model checking
Transition-Based Directed Model Checking (MW, SK, AP), pp. 186–200.
CAV-2008-KupferschmidWNP #performance #question
Faster Than Uppaal? (SK, MW, BN, AP), pp. 552–555.
TACAS-2008-KupferschmidHL #abstraction #model checking #performance
Fast Directed Model Checking Via Russian Doll Abstraction (SK, JH, KGL), pp. 203–217.
TACAS-2007-KupferschmidDHFDPB #heuristic #model checking
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.

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.