Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications 2020

Publications 2020

Conference contributions

  1. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games, by Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, and Ichiro Hasuo.
    In Proceedings of CAV 2020.
    DOI | arXiv

  2. Safety Verification under Power, by Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, and Roland Meyer.
    In Proceedings of NETYS 2020. To appear.
    DOI | BibTeX

  3. Dartagnan: Bounded Model Checking for Weak Memory Models, by Hernan Ponce-de-Leon, Florian Furbach, Keijo Heljanko, and Roland Meyer.
    In Proceedings of TACAS 2020. Competition Contribution.
    PDF | Project Page | DOI | BibTeX

  4. Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation, by Roland Meyer and Sebastian Wolff.
    In Proceedings of POPL 2020. Artifact evaluated: functional&reusable.
    PDF | Slides | Project Page | DOI | arXiv

  5. A Framework for Consistency Algorithms, by Peter Chini and Prakash Saivasan.
    In Proceedings of FSTTCS 2020.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  6. On the Complexity of Multi-Pushdown Games, by Roland Meyer and Sören van der Wall.
    In Proceedings of FSTTCS 2020.
    DOI | PDF

Journal articles

  1. Fine-Grained Complexity of Safety Verification, by Peter Chini, Roland Meyer, and Prakash Saivasan.
    Journal of Automated Reasoning, 2020.
    DOI | arXiv