Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Sebastian Muskalla

Publications by Sebastian Muskalla

Recent

  1. Liveness Verification and Synthesis: New Algorithms for Recursive Programs, with Roland Meyer and Elisabeth Neumann.

    arXiv

  2. Munchausen Iteration, with Roland Meyer.

    arXiv

Conference contributions

  1. Bounded Context Switching for Valence Systems, with Roland Meyer and Georg Zetzsche.
    In Proceedings of CONCUR 2018.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides

  2. Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems, with Matthew Hague, Roland Meyer, and Martin Zimmermann.
    In Proceedings of MFCS 2018.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides

  3. Regular Separability of Well-Structured Transition Systems, with Wojciech Czerwiński, Sławomir Lasota, Roland Meyer, K Narayan Kumar, and Prakash Saivasan.
    In Proceedings of CONCUR 2018.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides | Poster

  4. Domains for Higher-Order Games, with Matthew Hague and Roland Meyer.
    In Proceedings of MFCS 2017.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides

  5. On the Upward/Downward Closures of Petri Nets, with Mohamed Faouzi Atig, Roland Meyer, and Prakash Saivasan.
    In Proceedings of MFCS 2017.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides

  6. Summaries for Context-Free Games, with Lukas Holik and Roland Meyer.
    In Proceedings of FSTTCS 2016.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides

Theses

  1. Computing boundaries of tropical varieties. Master Thesis.
    Technische Universität Kaiserslautern, 2015.
    PDF