Sören van der Wall

According to our database, Sören van der Wall authored at least 6 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Transparent Decompilation for Timing Side-Channel Analyses.

Santiago Arranz Olmos, Gilles Barthe, Lionel Blatter, Sören van der Wall, Zhiyuan Zhang

CoRR, January, 2025

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations.

Sören van der Wall, Roland Meyer

Proc. ACM Program. Lang., 2025

2024

Urgency Annotations for Alternating Choices.

Eren Keskin, Roland Meyer, Sören van der Wall

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Contextual Equivalence for Alternation and Urgency.

Eren Keskin, Roland Meyer, Sören van der Wall

CoRR, 2023

2022

Model-Based Fault Classification for Automotive Software.

Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2020

On the Complexity of Multi-Pushdown Games.

Roland Meyer, Sören van der Wall

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020