Sören van der Wall

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Speculative Execution

Classification Process

Software Systems

Top Venues

Publications

Sören van der Wall, Roland Meyer
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations. CoRR (2024)
Eren Keskin, Roland Meyer, Sören van der Wall
Contextual Equivalence for Alternation and Urgency. CoRR (2023)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-based Fault Classification for Automotive Software. CoRR (2022)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-Based Fault Classification for Automotive Software. APLAS (2022)
Roland Meyer, Sören van der Wall
On the Complexity of Multi-Pushdown Games. FSTTCS (2020)