Sören van der Wall

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

Collaborative distances:

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

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