BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Czech Republic
1 × France
1 × Iceland
1 × Japan
1 × Singapore
2 × Hungary
2 × USA
3 × Italy
3 × United Kingdom
Collaborated with:
B.Finkbeiner ∅ J.Fearnley D.Peled M.N.Rabe E.M.Hahn A.Turrini B.Genest A.Trivedi T.Varghese C.Huang F.Wang N.Bertrand G.Katz H.Peter A.Weinert M.Z.0002 L.Z.0001 Y.Li L.Zhang
Talks about:
game (6) synthesi (4) pariti (4) model (4) satisfi (3) bound (3) time (3) probabilist (2) distribut (2) algorithm (2)

Person: Sven Schewe

DBLP DBLP: Schewe:Sven

Contributed to:

FoSSaCS 20152015
ICALP (2) 20152015
FM 20142014
TACAS 20132013
CSL 20122012
ICALP (2) 20122012
CAV 20112011
CSL 20102010
QAPL 20102010
FOSSACS 20092009
CSL 20082008
ICALP (2) 20082008
TACAS 20082008
CSL 20062006
LOPSTR 20062006
LICS 20052005
CAV (2) 20162016
CSL 20182018

Wrote 18 papers:

FoSSaCS-2015-GenestPS #memory management
Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.
ICALP-v2-2015-ScheweTV #symmetry
Symmetric Strategy Improvement (SS, AT, TV), pp. 388–400.
FM-2014-HahnLSTZ #model checking #named #probability
iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
TACAS-2013-HuangSW #game studies #model checking
Model-Checking Iterated Games (CHH, SS, FW), pp. 154–168.
CSL-2012-BertrandFS #bound #satisfiability
Bounded Satisfiability for PCTL (NB, JF, SS), pp. 92–106.
ICALP-v2-2012-FearnleyS #bound #game studies
Time and Parallelizability Results for Parity Games with Bounded Treewidth (JF, SS), pp. 189–200.
CAV-2011-KatzPS #distributed #synthesis
Synthesis of Distributed Control through Knowledge Accumulation (GK, DP, SS), pp. 510–525.
CSL-2010-FinkbeinerS #coordination #logic
Coordination Logic (BF, SS), pp. 305–319.
QAPL-2010-RabeS #game studies #markov
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.
FoSSaCS-2009-Schewe #automaton #bound #nondeterminism
Tighter Bounds for the Determinisation of Büchi Automata (SS), pp. 167–181.
CSL-2008-Schewe #algorithm #game studies
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games (SS), pp. 369–384.
ICALP-B-2008-Schewe #satisfiability
ATL* Satisfiability Is 2EXPTIME-Complete (SS), pp. 373–385.
TACAS-2008-FinkbeinerPS #composition #model checking #named #synthesis
RESY: Requirement Synthesis for Compositional Model Checking (BF, HJP, SS), pp. 463–466.
CSL-2006-ScheweF #calculus #finite #satisfiability #μ-calculus
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus (SS, BF), pp. 591–605.
LOPSTR-2006-ScheweF #synthesis
Synthesis of Asynchronous Systems (SS, BF), pp. 127–142.
LICS-2005-FinkbeinerS #distributed #synthesis
Uniform Distributed Synthesis (BF, SS), pp. 321–330.
CAV-2016-HahnSTZ #algorithm #game studies #probability
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games (EMH, SS, AT, LZ0), pp. 291–311.
CSL-2018-ScheweW0 #game studies
Parity Games with Weights (SS, AW, MZ0), p. 17.
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.