@article{FRSZ/16/approxCTMG, author = {John Fearnley and Markus Rabe and Sven Schewe and Lijun Zhang}, title = {Efficient Approximation of Optimal Control for Continuous-Time Markov Games}, journal = {Information and Computation}, volume = {247}, pages = {106--129}, year = {2016}, } @article{HPSW/16/dense, author = {Chung{-}Hao Huang and Doron A. Peled and Sven Schewe and Farn Wang}, title = {A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors}, journal = {{IEEE} Transactions on Software Engineering}, volume = {42}, number = {7}, pages = {605--622}, year = {2016}, } @article{MS/16/loosely, author = {Anca Musholl and Sven Schewe}, title = {Controlling Loosely Cooperating Processes}, journal = {Theoretical Computer Science}, volume = {611}, pages = {136--141}, year = {2016}, } @inproceedings{LMS/16/discEvacuation, author = {Ioannis Lamprou and Russell Martin and Sven Schewe}, title = {Fast Two-Robot Disk Evacuation with Wireless Communication}, booktitle = {Proceedings of the 30th International Symposium on Distributed Computing ({DISC} 2016), Paris, France, September 27-29}, pages = {1--15}, series = {LNCS}, volume = {9888}, publisher = {Springer}, year = {2016}, } @InProceedings{HLSTZ/16/games, author = {Ernst Moritz Hahn and Sven Schewe and Andrea Turrini and Lijun Zhang}, title = {A Simple Algorithm for Solving Qualitative Probabilistic Parity Games}, booktitle = {Proceedings of the 28th International Conference on Computer Aided Verification ({CAV} 2016), July 17-23, Toronto}, year = "2016", pages = "291--311", series = {LNCS}, volume = {9780}, publisher = {Springer}, } @inproceedings{HS/16/annealing, author = {Idress Husien and Sven Schewe}, title = {Program Generation Using Simulated Annealing and Model Checking}, pages = {155--171}, booktitle = {Proceedings of the 14th International Conference on Software Engineering and Formal Methods ({SEFM} 2016), July 4-8, Vienna}, series = {LNCS}, volume = {9763}, publisher = {Springer}, year = {2016}, } @inproceedings{HS/16/annealing, author = {Idress Husien and Sven Schewe}, title = {Program Generation Using Simulated Annealing and Model Checking}, pages = {155--171}, booktitle = {Proceedings of the 14th International Conference on Software Engineering and Formal Methods ({SEFM} 2016), July 4-8, Vienna}, series = {LNCS}, volume = {9763}, publisher = {Springer}, year = {2016}, } @inproceedings{GSTDP/16/incentiveMPGs, author = {Anshul Gupta and Sven Schewe and Ashutosh Trivedi and Maram Sai Krishna Deepak and Bharath Kumar Padarthi}, title = {Incentive Stackelberg Mean-Payoff Games}, pages = {304--320}, booktitle = {Proceedings of the 14th International Conference on Software Engineering and Formal Methods ({SEFM} 2016), July 4-8, Vienna}, series = {LNCS}, volume = {9763}, publisher = {Springer}, year = {2016}, } @inproceedings{BHSST/16/complement, author = {Frantisek Blahoudek and Matthias Heizmann and Sven Schewe and Jan Strejcek and Ming{-}Hsien Tsai}, title = {Complementing Semi-deterministic B{\"{u}}chi Automata}, booktitle = {Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS} 2016), April 2--8, Eindhoven}, pages = {770--787}, year = {2016}, series = {LNCS}, volume = {9636}, publisher = {Springer}, } @article{WSH/15/ATLplusSI, author = {Farn Wang and Sven Schewe and Chung{-}Hao Huang}, title = {An Extension of {ATL} with Strategy Interaction}, journal = {{ACM} Transactions on Programming Languages and Systems}, volume = {37}, number = {3}, pages = {9}, year = {2015}, } @article{FPS/15/succinct, author = {John Fearnley and Doron Peled and Sven Schewe}, title = {Synthesis of succinct systems}, journal = {Journal of Computer and System Sciences}, volume = {81}, number = {7}, pages = {1171--1193}, year = {2015}, } @article{WSW/15/coverage, author = {Farn Wang and Sven Schewe and Jung{-}Hsuan Wu}, title = {Complexity of node coverage games}, journal = {Theoretical Computer Science}, volume = {576}, pages = {45--60}, year = {2015}, } @inproceedings{STV/15/symmetric, author = {Sven Schewe and Ashutosh Trivedi and Thomas Varghese}, title = {Symmetric Strategy Improvement}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, pages = {388--400}, year = {2015}, series = {Lecture Notes in Computer Science}, volume = {9135}, publisher = {Springer}, } @InProceedings{BPS/15/fair, author = {Alon Brook and Doron Peled and Sven Schewe}, title = {Local and Global Fairness in Concurrent Systems}, booktitle = "Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2015), September 21--32, Austin, Texas, USA", pages = {to appear}, publisher = "IEEE Computer Society Press", year = 2015, } @InProceedings{GSW/15/limitedMemory, author = {Anshul Gupta and Sven Schewe and Dominik Wojtczak}, title = "Making the Best of Limited Memory in Multi-Player Discounted Sum Games", booktitle = "Proceedings of the sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), September 21--22, Genoa, Italy", year = "2015", series = "Electronic Proceedings in Theoretical Computer Science", xvolume = "193", pages = {16--30}, } @InProceedings{HLSTZ/15/Lazy, author = {Ernst Moritz Hahn and Guangyuan Li and Sven Schewe and Andrea Turrini and Lijun Zhang}, title = {Lazy Probabilistic Model Checking without Determinisation}, booktitle = "Proceedings of the 26th Conference on Concurrency Theory (CONCUR 2015), September 1--4, Madrid", year = "2015", pages = "354--367", series = {LIPIcs}, volume = {42}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik, Germany}, } @inproceedings{GS/15/bribery, author = {Anshul Gupta and Sven Schewe}, title = {It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery}, booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 4-8, Istanbul, Turkey}, pages = {1361--1369}, year = {2015}, publisher = {{ACM}}, } @inproceedings{BJKST/15/multiMode, author = {Devendra Bhave and Sagar Jha and Shankara Narayanan Krishna and Sven Schewe and Ashutosh Trivedi}, title = {Bounded-rate multi-mode systems based motion planning}, booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015), April 14-16, Seattle, WA, USA}, pages = {41--50}, year = {2015}, publisher = {{ACM}}, } @inproceedings{GPS/15/knowledge, author = {Blaise Genest and Doron Peled and Sven Schewe}, title = {Knowledge = Observation + Memory + Computation}, booktitle = {Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015), April 11-18, London, UK}, pages = {215--229}, year = {2015}, series = {Lecture Notes in Computer Science}, volume = {9034}, publisher = {Springer}, } @article{Schewe/14/distributed, author = {Sven Schewe}, title = {Distributed Synthesis is Simply Undecidable}, journal = "Information Processing Letters", year = "2014", volume = {114}, number = {4}, pages = "203--207", } @article{PS/14/SyntSI, author = {Doron Peled and Sven Schewe}, title = {Editorial: special issue on synthesis}, journal = {Acta Informatica}, volume = {51}, number = {3-4}, pages = {127--128}, year = {2014}, } @InProceedings{GS/14/quantitative, author = {Anshul Gupta and Sven Schewe}, title = {Quantitative Verification in Rational Environments}, booktitle = "Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME 2014), 8--10 September, Verona, Italy", pages = {123--131}, publisher = "IEEE Computer Society Press", year = 2014 } @InProceedings{SV/14/determinise, author = "Sven Schewe and Thomas Varghese", title = "Determinising Parity Automata", year = 2014, booktitle = "Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), 25--29 August, Budapest, Hungary" volume = "8634", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", pages = {486--498} } @InProceedings{SV/14/complement, author = "Sven Schewe and Thomas Varghese", title = "Tight Bounds for Complementing Parity Automata", year = 2014, booktitle = "Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), 25--29 August, Budapest, Hungary" volume = "8634", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", pages = {499--510} } @InProceedings{HLSTZ/14/IscasMC, author = {Ernst Moritz Hahn and Yi Li and Sven Schewe and Andrea Turrini and Lijun Zhang}, title = {IscasMC: A Web-Based Probabilistic Model Checker}, booktitle = "Proceedings of the 19th International Symposium on Formal Methods (FM 2014), May 12--16, Singapore", year = "2014", volume = "8442", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", pages = "312--317", } @inproceedings{PS/14/distControl, author = {Doron Peled and Sven Schewe}, title = {Distributed Control Synthesis}, booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's 60th Birthday}, pages = {271--288}, year = {2014}, title = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's 60th Birthday}, publisher = {EasyChair}, } @article{SV/14/parityDeterminisationTR, author = {Sven Schewe and Thomas Varghese}, title = {Determinising Parity Automata}, journal = {CoRR}, volume = {abs/1401.5394}, year = {2014}, } @article{KFS/13/combination, author = {Savas Konur and Michael Fisher and Sven Schewe}, title = {Combined Model Checking for Temporal, Probabilistic, and Real-Time Logics}, journal = "Theoretical Computer Science", year = "2013", volume = "503", pages = "61--88", } @article{Fearnley+Schewe/13/parityTreeWidth, author = {John Fearnley and Sven Schewe}, title = {Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width}, journal = "Logical Methods in Computer Science", year = "2013", volume = "467", number = "2:6", pages = "1--31", } @article{Rabe+Schewe/13/optimalTA, author = {Markus Rabe and Sven Schewe}, title = {Optimal Time-Abstract Schedulers for CTMDPs and Continuous-Time Markov Games}, journal = "Theoretical Computer Science", year = "2013", volume = "467", pages = "53--67", } @article{Finkbeiner+Schewe/13/bounded, author = {Bernd Finkbeiner and Sven Schewe}, title = {Bounded Synthesis}, journal = "International Journal on Software Tools for Technology Transfer", year = "2013", volume = "15", number = "5-6", pages = "519--539", } @InProceedings{NS/13/simplifying, author = "Nadeschda Nikitina and Sven Schewe", title = "Simplifying Description Logic Ontologies", year = 2013, booktitle = "Proceedings of the 12th International Semantic Web Conference (ISWC 2013), October 21--25, Sydney, Australia", volume = "8218", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", pages = {411--426} } @InProceedings{MS/13/boundedLookahead, author = "Anca Musholl and Sven Schewe", title = "Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge", year = 2013, booktitle = "Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013), 26--30 August, Kloster Neuburg, Austria", volume = "8087", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", pages = {691--703} } @InProceedings{HSW/13/iterativeGames, author = "Chung-Hao Huang and Sven Schewe and Farn Wang", title = "Model-Checking Iterative Games", year = 2013, booktitle = "Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), 16--24 March, Rome, Italy", volume = "7795", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", pages = {154--168} } @InProceedings{BPS/13/simpleEquilibria, author = {Thomas Brihaye and Julie {De Pril} and Sven Schewe}, title = {Multiplayer Cost Games with Simple Nash Equilibria}, booktitle = "Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2013), January 6--8, San Diego, California, USA", volume = {7734}, pages = {59--73}, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", year = 2013 } @InProceedings{NS/13/EL, author = "Nadeschda Nikitina and Sven Schewe", title = "More is Sometimes Less: Succinctness in EL", year = 2013, booktitle = "Proceedings of the 26th International Workshop on Description Logics (DL 2013), July 23--26, Ulm, Germany", volume = "1014", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings", pages = {403--414} } @InProceedings{Fearnley+Peled+Schewe/12/succinctSynthesis, author = {John Fearnley and Doron Peled and Sven Schewe}, title = {Synthesis of Succinct Systems}, booktitle = "Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012), 3--6 October, Thiruvananthapuram, Kerala, India", volume = {7561}, pages = {208--222}, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", year = 2012 } @InProceedings{Schewe+Varghese/12/generalisedBuchi, author = {Sven Schewe and Thomas Varghese}, title = {Tight Bounds for the Determinisation and Complementation of Generalised {B\"u}chi Automata}, booktitle = "Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012), 3--6 October, Thiruvananthapuram, Kerala, India", volume = {7561}, pages = {42--56}, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", year = 2012 } @InProceedings{Bertrand+Schewe/12/TA, author = {Nathalie Bertrand and Sven Schewe}, title = {Playing Optimally on Timed Automata with Random Delays}, booktitle = "Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), 18--20 September, London, England, UK", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "7595", year = 2012, pages = "43--58", } @InProceedings{HPSW/12/rapidRecovery, author = {Chung-Hao Huang and Doron Peled and Sven Schewe and Farn Wang}, title = "Rapid Recovery for Systems with Scarce Faults", booktitle = "Proceedings of the 3rd International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012), 6--8 September, Naples, Italy", year = "2012", series = "Electronic Proceedings in Theoretical Computer Science", volume = "96", pages = {15--28}, } @InProceedings{Bertrand+Fearnley+Schewe/12/boundedPCTL, author = {Nathalie Bertrand and John Fearnley and Sven Schewe}, title = {Bounded Satisfiablity for PCTL}, booktitle = "Proceedings of the 21st Annual Conference of the European Association for Computer Science Logic (CSL 2012), 3--6 September, Fontainebleau, France", volume = {16}, pages = {92--106}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik, Germany}, series = {LIPIcs}, year = 2012 } @InProceedings{Fearnley+Schewe/12/parityTreeWidth, author = {John Fearnley and Sven Schewe}, title = {Time and Parallelizability Results for Parity Games with Bounded Treewidth}, booktitle = "Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), 9--13 July, Warwick, England, UK", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "7392", year = 2012, pages = "189-200", } @proceedings{SYNT/12, editor = {Doron Peled and Sven Schewe}, title = {Proceedings of the First Workshop on Synthesis}, booktitle = {SYNT}, series = {EPTCS}, volume = {84}, year = {2012}, } @article{Bertrand+Fearnley+Schewe/12/boundedPCTLcorr, author = {Nathalie Bertrand and John Fearnley and Sven Schewe}, title = {Bounded Satisfiability for PCTL}, journal = {CoRR}, volume = {abs/1204.0469}, year = {2012}, } @article{Fearnley+Peled+Schewe/12/succinctSynthesisCoRR, 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", year = 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 2011), 12--14 December, Mumbai, India", year = "2011", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik, Germany}, series = {LIPIcs}, 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{\"u}beck, 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 = {Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik, Germany}, series = {LIPIcs}, 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 = {Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik, Germany}, series = {LIPIcs}, 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} }