On the Complexity of Multi-Pushdown Games. - Roland Meyer 001; Sören van der Wall (FSTTCS, 2020)

Model-Based Fault Classification for Automotive Software. - Mike Becker; Roland Meyer 001; Tobias Runge; Ina Schaefer; Sören van der Wall; Sebastian Wolff 001 (APLAS, 2022)

Contextual Equivalence for Alternation and Urgency. - Eren Keskin; Roland Meyer 001; Sören van der Wall (CoRR, 2023)

Urgency Annotations for Alternating Choices. - Eren Keskin; Roland Meyer 001; Sören van der Wall (Principles of Verification (3), 2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations. - Sören van der Wall; Roland Meyer 001 (Proc. ACM Program. Lang., 2025)

Transparent Decompilation for Timing Side-Channel Analyses. - Santiago Arranz-Olmos; Gilles Barthe; Lionel Blatter; Sören van der Wall; Zhiyuan Zhang 005 (CoRR, 2025)