Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Sören van der Wall

Publications by Sören van der Wall

Conference contributions

  1. Model-Based Fault Classification for Automotive Software, with Roland Meyer and Sebastian Wolff.
    In Proceedings of APLAS 2022.
    DOI

  2. On the Complexity of Multi-Pushdown Games, with Roland Meyer.
    In Proceedings of FSTTCS 2020.
    DOI | PDF

Theses

  1. Bounded Analysis of Concurrent and Recursive Programs. Master's Thesis.
    Technische Universität Braunschweig, 2019.
    PDF