Sven Schewe

	2012
39		John Fearnley, Doron Peled, Sven Schewe: Synthesis of Succinct Systems CoRR abs/1202.5449: (2012)
38		Nathalie Bertrand, John Fearnley, Sven Schewe: Bounded Satisfiability for PCTL CoRR abs/1204.0469: (2012)
	2011
37		Gal Katz, Doron Peled, Sven Schewe: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431
36		Gal Katz, Doron Peled, Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525
35		John Fearnley, Markus Rabe, Sven Schewe, Lijun Zhang: Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410
34		Doron Peled, Sven Schewe: Practical Distributed Control Synthesis INFINITY 2011: 2-17
33		Sven Schewe, Cong Tian: Synthesising Classic and Interval Temporal Logic. TIME 2011: 64-71
32		Markus N. Rabe, Sven Schewe: Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Acta Inf. 48(5-6): 291-315 (2011)
31		John Fearnley, Sven Schewe: Time and Space Results for Parity Games with Bounded Treewidth CoRR abs/1112.0221: (2011)
	2010
30		Bernd Finkbeiner, Sven Schewe: Coordination Logic. CSL 2010: 305-319
29		Sven Schewe: Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. FSTTCS 2010: 400-411
28		Markus Rabe, Sven Schewe: Optimal Time-Abstract Schedulers for CTMDPs and Markov Games QAPL 2010: 144-158
27		Markus Rabe, Sven Schewe: Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games CoRR abs/1004.4005: (2010)
26		Sven Schewe: Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata CoRR abs/1007.1333: (2010)
25		Markus Rabe, Sven Schewe, Lijun Zhang: Efficient Approximation of Optimal Control for Markov Games CoRR abs/1011.0397: (2010)
24		Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesising certificates in networks of timed automata. IET Software 4(3): 222-235 (2010)
23		Sven Schewe: Synthese Verteilter Systeme (Synthesis of Distributed Systems). it - Information Technology 52(2): 120-124 (2010)
	2009
22		Sven Schewe: Tighter Bounds for the Determinisation of Büchi Automata. FOSSACS 2009: 167-181
21		Sven Schewe: From Parity and Payoff Games to Linear Programming. MFCS 2009: 675-686
20		Sven Schewe: Büchi Complementation Made Tight. STACS 2009: 661-672
19		Sven Schewe: Büchi complementation made tight CoRR abs/0902.2152: (2009)
18		Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin: Towards the Verification of Pervasive Systems. ECEASST 22: (2009)
	2008
17		Sven Schewe: Synthesis of Distributed Systems. Ausgezeichnete Informatikdissertationen 2008: 251-260
16		Sven Schewe: An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. CSL 2008: 369-384
15		Sven Schewe: ATL* Satisfiability Is 2EXPTIME-Complete. ICALP (2) 2008: 373-385
14		Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesizing Certificates in Networks of Timed Automata. IEEE Real-Time Systems Symposium 2008: 183-194
13		Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
12		Sven Schewe: Synthesis of distributed systems. Universität Saarbrücken 2008: I-IX
	2007
11		Sven Schewe, Bernd Finkbeiner: Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
10		Sven Schewe, Bernd Finkbeiner: Bounded Synthesis. ATVA 2007: 474-488
9		Sven Schewe: Solving Parity Games in Big Steps. FSTTCS 2007: 449-460
8		Sven Schewe, Bernd Finkbeiner: Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
	2006
7		Malte Helmert, Robert Mattmüller, Sven Schewe: Selective Approaches for Solving Weak Games. ATVA 2006: 200-214
6		Sven Schewe: Synthesis for Probabilistic Environments. ATVA 2006: 245-259
5		Sven Schewe, Bernd Finkbeiner: Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605
4		Bernd Finkbeiner, Sven Schewe, Matthias Brill: Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158
3		Sven Schewe, Bernd Finkbeiner: Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142
	2005
2		Bernd Finkbeiner, Sven Schewe: Semi-automatic Distributed Synthesis. ATVA 2005: 263-277
1		Bernd Finkbeiner, Sven Schewe: Uniform Distributed Synthesis. LICS 2005: 321-330

Coauthor Index

1	Myrto Arapinis	[18]
2	Nathalie Bertrand	[38]
3	Matthias Brill	[4]
4	Muffy Calder (Muffy Thomas)	[18]
5	Louise A. Dennis	[18]
6	John Fearnley	[31] [35] [38] [39]
7	Bernd Finkbeiner	[1] [2] [3] [4] [5] [8] [10] [11] [13] [14] [24] [30]
8	Michael Fisher	[18]
9	Philip D. Gray	[18]
10	Malte Helmert	[7]
11	Gal Katz	[36] [37]
12	Savas Konur	[18]
13	Robert Mattmüller	[7]
14	Alice Miller	[18]
15	Doron Peled	[34] [36] [37] [39]
16	Hans-Jörg Peter (Hans-Joerg Peter)	[13] [14] [24]
17	Markus Rabe (Markus N. Rabe)	[25] [27] [28] [32] [35]
18	Eike Ritter	[18]
19	Mark Ryan (Mark Dermot Ryan)	[18]
20	Cong Tian	[33]
21	Chris Unsworth	[18]
22	Rehana Yasmin	[18]
23	Lijun Zhang	[25] [35]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page