14 citations · 48 across the 26 of their papers we have counts for
4 papers · 1 filter
Embedding Hindsight Reasoning in Separation Logic
Roland Meyer, Thomas Wies, Sebastian Wolff
Proving linearizability of concurrent data structures remains a key challenge for verification. We present temporal interpolation as a new proof principle to conduct such proofs us…
Model-based Fault Classification for Automotive Software
Mike Becker, Roland Meyer, Tobias Runge +3
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a cruci…
I still know it's you! On Challenges in Anonymizing Source Code
Micha Horlboge, Erwin Quiring, Roland Meyer +1
The source code of a program not only defines its semantics but also contains subtle clues that can identify its author. Several studies have shown that these clues can be automati…
A Concurrent Program Logic with a Future and History
Roland Meyer, Thomas Wies, Sebastian Wolff
Verifying fine-grained optimistic concurrent programs remains an open problem. Modern program logics provide abstraction mechanisms and compositional reasoning principles to deal w…