Publications 2018Publications 2018
Recent
- Liveness Verification and Synthesis: New Algorithms for Recursive Programs,
by Roland Meyer, Sebastian Muskalla, and Elisabeth Neumann.
arXiv
- Fast Witness Counting,
by Peter Chini, Rehab Massoud, Roland Meyer, and Prakash Saivasan.
arXiv
- Munchausen Iteration,
by Roland Meyer and Sebastian Muskalla.
arXiv
Conference contributions
- Verifying Quantitative Temporal Properties of Procedural Programs,
by Mohammed Faouzi Atig, K Narayan Kumar, Prakash Saivasan, and Ahmed Bouajjani.
In Proceedings of CONCUR 2018.
- 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
- 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
- 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
- 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
- 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
- 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