Sören van der Wall

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

Collaborative distances:

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

2024

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

Sören van der Wall, Roland Meyer

CoRR, 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