Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications 2018

Publications 2018

Recent

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

    arXiv

  2. Fast Witness Counting, by Peter Chini, Rehab Massoud, Roland Meyer, and Prakash Saivasan.

    arXiv

  3. Munchausen Iteration, by Roland Meyer and Sebastian Muskalla.

    arXiv

Conference contributions

  1. Verifying Quantitative Temporal Properties of Procedural Programs, by Mohammed Faouzi Atig, K Narayan Kumar, Prakash Saivasan, and Ahmed Bouajjani.
    In Proceedings of CONCUR 2018.

  2. BMC with Memory Models as Modules, by Hernan Ponce-de-Leon, Florian Furbach, Keijo Heljanko, and Roland Meyer.
    In Proceedings of FMCAD 2018.
    PDF | BibTeX

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

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

  5. Reasoning About Weak Semantics via Strong Semantics, by Roland Meyer and Sebastian Wolff.
    In Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, 2018.
    PDF | Book | DOI

  6. Fine-Grained Complexity of Safety Verification, by Peter Chini, Roland Meyer, and Prakash Saivasan.
    In Proceedings of TACAS 2018.
    Conference Version | DOI/BibTex | Full Version @ arXiv

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

  8. Inductive Counting and the Reachability Problem for Petri Nets , by Peter Chini and Roland Meyer.
    In Carl Adam Petri: Ideas, Personality, Impact, 2018.
    Book