@article{Finkbeiner+Schewe/12/bounded,
  author	= {Bernd Finkbeiner and Sven Schewe},
  title		= {Bounded Synthesis},
  journal	= "International Journal on Software Tools for Technology Transfer",
  xyear		= "2012",
  xvolume 	= " ",
  xnumber 	= " ",
  pages		= "(to appear)",
}

@article{Fearnley+Peled+Schewe/12/succinctSynthesis,
  author    = {John Fearnley and Doron Peled and Sven Schewe},
  title     = {Synthesis of Succinct Systems},
  journal   = {CoRR},
  volume    = {abs/1202.5449},
  year      = {2012},
}

@article{Rabe+Schewe/11/Optimal,
  author	= {Markus Rabe and Sven Schewe},
  title		= {Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games},
  journal	= "Acta Informatica",
  xyear		= 2011,
  volume 	= "48",
  number 	= "5",
  pages		= "291--315",
}

@InProceedings{Fearnley+Rabe+Schewe+Zhang/11/approximate,
  author    = {John Fearnley and Markus Rabe and Sven Schewe and Lijun Zhang},
  title     = {Efficient Approximation of Optimal Control for Continuous-Time Markov Games},
  booktitle	= "Proceedings of the 31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 12--14 December, Mumbai, India",
  year 		= "2011",
  publisher 	= {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  series	= {Leibniz International Proceedings in Informatics},
  volume 	= "13",
  pages		= "399-410",
}
}

@InProceedings{Katz+Peled+Schewe/11/buck,
  author =       {Gal Katz and Doron Peled and Sven Schewe},
  title =        {The Buck Stops Here: Order, Chance, and Coordination in Distributed Control},
  booktitle	= "Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011), 11--14 October, Taipei, Taiwan",
  volume	= {6996},
  pages   	= {422--431},
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  year 		= 2011
}

@InProceedings{Schewe+Tian/11/PopLogic,
  author =       {Sven Schewe and Cong Tian},
  title =        {Synthesising Classic and Interval Temporal Logic},
  booktitle	= "Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME 2011), 12--14 September, L\"ubeck, Germany",
  pages   	= {64--71},
  publisher	= "IEEE Computer Society Press",
  year 		= 2011
}

@InProceedings{Katz+Peled+Schewe/11/knowledge,
  author =       {Gal Katz and Doron Peled and Sven Schewe},
  title =        {Synthesis of Distributed Control through Knowledge Accumulation},
  booktitle	= "Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011), 14--20 July, Snowbird, Utah, USA",
  volume	= {6806},
  pages   	= {510--525},
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  year 		= 2011
}

@InProceedings{Katz+Peled+Schewe/11/practical,
  author =       {Doron Peled and Sven Schewe},
  title =        {Practical Distributed Control Synthesis},
  booktitle	= "Proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011), 10 October, Taipei, Taiwan",
  volume	= {73},
  pages   	= {2--17},
  series 	= "Electronic Proceedings in Theoretical Computer Science",
  year 		= 2011
}

@article{Fearnley+Schewe/11/parityTreeWidth,
  author    = {John Fearnley and Sven Schewe},
  title     = {Time and Space Results for Parity Games with Bounded Treewidth},
  journal   = {CoRR},
  volume    = {abs/1112.0221},
  year      = {2011},
}

@article{Finkbeiner+Peter+Schewe/10/certificates,
  author	= "Bernd Finkbeiner and Hans-J{\"o}rg Peter and Sven Schewe",
  title		= "Synthesizing Certificates in Networks of Timed Automata",
  journal	= "IET Software",
  year		= 2010,
  volume 	= "4",
  issue 	= "3",
  pages		= "222--235",
}

@article{Schewe/10/synthese,
  author	= "Sven Schewe",
  title		= "Synthese Verteilter Systeme",
  journal	= "it -- Information Technology",
  year		= 2010,
  volume 	= "51",
  issue 	= "2",
  pages		= "120--124",
}

@InProceedings{Schewe/10/minimise,
  author	= "Sven Schewe",
  title		= "Beyond Hyper-Minimisation--Minimising DBAs and DPAs is NP-Complete",
  booktitle	= "Proceedings of the 30th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 15--18 December, Chennai, India",
  year 		= "2010",
  publisher 	= {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  series	= {Leibniz International Proceedings in Informatics},
  volume 	= "8",
  pages		= "400--411",
}

@InProceedings{Finkbeiner+Schewe/10/coordination,
  author =       {Bernd Finkbeiner and Sven Schewe},
  title =        {Coordination Logic},
  booktitle	= "Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic (CSL 2010), 23--27 August, Brno, Czech Republic",
  volume	= {6247},
  pages   	= {305--319},
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  year 		= 2010
}

@InProceedings{Rabe+Schewe/10/time-abstract,
  author 	= {Markus Rabe and Sven Schewe},
  title 	= "Optimal Time-Abstract Schedulers for CTMDPs and Markov Games",
  booktitle	= "Proceedings of the 8th Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 27--28 March, Paphos, Cyprus",
  year 		= "2010",
  series 	= "Electronic Proceedings in Theoretical Computer Science",
  volume 	= "28",
  pages		= {144--158},
}

@InProceedings{Schewe/10/swsyn,
  author =	{Sven Schewe},
  title =	{Software Synthesis is Hard -- and Simple},
  booktitle =	{Software Synthesis},
  year =	{2010},
  editor =	{Ratislav Bodik and Orna Kupferman and Douglas R.~Smith and Eran Yahav},
  number =	{09501},
  series =	{Dagstuhl Seminar Proceedings},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik, Germany},
}

@article{Fearnley+Rabe+Schewe+Zhang/10/approximate,
  author    = {John Fearnley and Markus Rabe and Sven Schewe and Lijun Zhang},
  title     = {Efficient Approximation of Optimal Control for Markov Games},
  journal   = {CoRR},
  volume    = {abs/1004.4005},
  year      = {2010},
}

@article{Schewe/10/minimising,
  author    = {Sven Schewe},
  title     = {Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata},
  journal   = {CoRR},
  volume    = {abs/1007.1333},
  year      = {2010},
}

@article{Rabe+Schewe/10/optimal,
  author    = {Markus Rabe and Sven Schewe},
  title     = {Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games},
  journal   = {CoRR},
  volume    = {abs/1011.0397},
  year      = {2010},
}

@article{Arapinis+all/09/pervasive,
  author	 = {Myrto Arapinis and Muffy Calder and Louise Denis and Michael Fisher and Philip Gray and Savas Konur
		    and Alice Miller and Eike Ritter and Mark Ryan and Sven Schewe and Chris Unsworth and Rehana Yasmin},
  title 	= "Towards the Verification of Pervasive Systems",
  journal	= "Electronic Communications of the EASST",
  volume 	= "22",
  year 		= "2009",
}

@InProceedings{Schewe/09/complementation,
  author 	= {Sven Schewe},
  title 	= {B{\"u}chi Complementation Made Tight},
  booktitle	= "Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), 26--28 February, Freiburg, Germany",
  year 		= 2009,
  publisher 	= {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  series	= {Leibniz International Proceedings in Informatics},
  volume 	= "3",
  pages		= {661--672},
}

@InProceedings{Schewe/09/games2LP,
  author =       {Sven Schewe},
  title =        "From Parity and Payoff Games to Linear Programming",
  booktitle	= "Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS 2009), 24--28 August, Novy Smokovec, Slovakia",
  year 		= "2009",
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  volume	= {5734},
  pages		= {675--686},
  }

@Inproceedings{Schewe/09/determinise,
  author =       {Sven Schewe},
  title =        "Tighter Bounds for the Determinisation of {B\"u}chi Automata",
  booktitle	= "Proceedings of the Twelfth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2009), 22--29 March, York, England, UK",
  year 		= "2009",
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  volume	= {5504},
  pages		= {167--181},
}

@InProceedings{Schewe/09/summary,
  author 	= {Sven Schewe},
  title 	= {Synthese Verteilter Systeme},
  booktitle	= "Ausgezeichnete Informatikdissertationen, 17--20 May, Dagstuhl, Germany",
  year 		= 2009,
  publisher 	= {Gesellschaft f\"ur Informatik e.V.},
  series 	= {Lecture Notes in Informatics},
}

@techreport{Rabe+Schewe/09/atr55,
    author      =   {Markus Rabe and Sven Schewe}, 
    title       =   {{Optimal Schedulers for Time-Bounded Reachability in {CTMDPs}}},
    editor      =   {Bernd Becker and Werner Damm and Martin Fr{\"a}nzle and
                    Ernst-R{\"u}diger Olderog and Andreas Podelski and Reinhard
                    Wilhelm},
    institution =   {SFB/TR 14 AVACS},
    year        =   {2009},
    type        =   {Reports of SFB/TR 14 AVACS},
    series      =   {ATR},
    number      =   55,
    note        =   {ISSN: 1860-9821, http://www.avacs.org.},
}

@PhDThesis{Schewe/08,
  author	= "Sven Schewe",
  title		= "Synthesis of Distributed Systems",
  school	= "Universit{\"a}t des Saarlandes",
  year		= "2008"
}

@InProceedings{finkbeiner+peter+schewe/08/Certificates,
  author 	= "Bernd Finkbeiner and Hans-J{\"o}rg Peter and Sven Schewe",
  title 	= "Synthesizing Certificates in Networks of Timed Automata",
  year 		= 2008,
  booktitle 	= "Proceedings of the 29th IEEE Real-Time Systems Symposium (RTSS 2008), 1--3 December, Barcelona, Spain",
  pages		= {183--194},
  publisher 	= {IEEE Computer Society Press}
}

@InProceedings{Schewe/08/improvement,
  author =       {Sven Schewe},
  title =        {An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games},
  booktitle	= "Proceedings of the 17th Annual Conference of the European Association for Computer Science Logic (CSL 2008), 15--19 September, Bertinoro, Italy",
  volume	= {5213},
  pages		= {368--383},
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  year 		= 2008
}

@InProceedings{Schewe/08/atl,
  author	= "Sven Schewe",
  title		= "{ATL}* Satisfiability is 2{E}XP{T}IME-Complete",
  booktitle	= "Proceedings of the 35th International Colloquium on Automata, Languages and Programming, Part II (ICALP 2008), 6--13 July, Reykjavik, Iceland",
  volume	= {5126},
  year 		= "2008",
  publisher 	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  pages		= "373--385",
}

@InProceedings{finkbeiner+peter+schewe/08/RESY,
  author 	= "Bernd Finkbeiner and Hans-J{\"o}rg Peter and Sven Schewe",
  title 	= "{RESY}: Requirement Synthesis for Compositional Model Checking",
  year 		= 2008,
  booktitle	= "Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), 31 March--3 April, Budapest, Hungary",
  volume 	= 4963,
  publisher 	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  pages		= {463--466}
}

@article{Schewe+Finkbeiner/07/Semi,
  author	= "Sven Schewe and Bernd Finkbeiner",
  title		= "Semi-Automatic Distributed Synthesis",
  journal	= "International Journal of Foundations of Computer Science",
  year		= 2007,
  volume 	= "18",
  number 	= "1",
  pages		= "113--138",
}

@InProceedings{Schewe/07/parity,
  author	= "Sven Schewe",
  title		= "Solving Parity Games in Big Steps",
  booktitle	= "Proceedings of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007), 12--14 December, New Delhi, India",
  volume	= {4805},
  year 		= "2007",
  publisher 	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  pages		= "449--460",
}

@InProceedings{Schewe+Finkbeiner/07/DistAlt,
  author 	= "Sven Schewe and Bernd Finkbeiner",
  title 	= "Distributed Synthesis for Alternating-Time Logics",
  booktitle 	= "Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), 22--25 October, Tokyo, Japan",
  volume	= {4762},
  year 		=  2007,
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  pages		= {268--283},
}

@InProceedings{Schewe+Finkbeiner/07/Bounded,
  author =       "Sven Schewe and Bernd Finkbeiner",
  title =        "Bounded Synthesis",
  booktitle =    "Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), 22--25 October, Tokyo, Japan",
  volume	= {4762},
  year =         2007,
  publisher =    "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  pages		= {474--488},
}

@InProceedings{Finkbeiner+Schewe/07/smt,
  author	= "Bernd Finkbeiner and Sven Schewe",
  title		= "{SMT}-Based Synthesis of Distributed Systems",
  booktitle	= "Proceedings of the 2nd Workshop on Automated Formal Methods (AFM 2007), 6 November, Atlanta, Georgia, USA",
  pages         = "69--76",
  year		= 2007,
  PUBLISHER 	= "ACM Press",
}

@InProceedings{Schewe+Finkbeiner/06/Asynchronous,
  author	= "Sven Schewe and Bernd Finkbeiner",
  title		= "Synthesis of Asynchronous Systems",
  booktitle	= "Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006), 12--14 July, Venice, Italy",
  year		= 2006,
  volume	= {4407},
  publisher	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
  pages		= "127--142",
}

@InProceedings{Finkbeiner+Schewe+Brill/06/Assumptions,
  author	= "Bernd Finkbeiner and Sven Schewe and Matthias Brill",
  title		= "Automatic Synthesis of Assumptions for Compositional Model Checking",
  booktitle	= "Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), 26--29 September, Paris, France",
  volume	= 4229,
  year		= 2006,
  pages         = "143--158",
  publisher 	= "Springer Verlag",
  series 	= "Lecture Notes in Computer Science",
}

@InProceedings{Helmert+Mattmuller+Schewe/06/Selective,
  author	= "Malte Helmert and Robert Mattm{\"u}ller and Sven Schewe",
  title		= "Selective Approaches for Solving Weak Games",
  booktitle	= "Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), 23--26 October, Beijing, China",
  volume 	= {4218},
  year		= 2006,
  pages		= "200--214",
  publisher 	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
}

@InProceedings{Schewe/06/ProbEnv,
  author	= "Sven Schewe",
  title		= "Synthesis for Probabilistic Environments",
  booktitle	= "Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), 23--26 October, Beijing, China",
  volume 	= {4218},
  year		= 2006,
  pages		= "245--259",
  publisher 	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
}

@InProceedings{Schewe+Finkbeiner/06/ATM,
  author	= "Sven Schewe and Bernd Finkbeiner",
  title		= "Satisfiability and Finite Model Property for the Alternating-Time $\mu$-Calculus",
  booktitle	= "Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic (CSL 2006), 25--29 September, Szeged, Hungary",
  volume	= {4207},
  pages		= {591--605},
  publisher	= "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  year 		= 2006
}

@InProceedings{Finkbeiner+Schewe/05/Semi,
  AUTHOR	= "Bernd Finkbeiner and Sven Schewe",
  TITLE 	= "Semi-Automatic Distributed Synthesis",
  booktitle	= "Proceedings of the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), 4--7 October, Taipei, Taiwan",
  volume	= {3707},
  PAGES 	= {263-277},
  YEAR 		= 2005,
  PUBLISHER 	= "Springer-Verlag",
  series 	= "Lecture Notes in Computer Science",
}

@InProceedings{Finkbeiner+Schewe/05/Distributed,
  author	= "Bernd Finkbeiner and Sven Schewe",
  title		= "Uniform Distributed Synthesis",
  booktitle	= "Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), 26--29 June, Chicago, Illinois, USA",
  pages         = "321--330",
  year 		= 2005,
  publisher 	= {IEEE Computer Society Press}
}