1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
Urgency Annotations for Alternating Choices
Eren Keskin, Roland Meyer, Sören van der Wall
We propose urgency programs, a new programming model with support for alternation, imperfect information, and recursion. The novelty are urgency annotations that decorate the (ange…
cs.SE2022★ 1 cited
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…