2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.PL2023
Nondeterminism and Guarded Commands
Krzysztof R. Apt, Ernst-Rüdiger Olderog
The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.
cs.LO2023
Concurrent Hyperproperties
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Trace properties, which are sets of execution traces, are often used to analyze systems, but their expressiveness is limited. Clarkson and Schneider defined hyperproperties as a ge…
cs.PL2015★ 2 cited
Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --
Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick
Dynamically typed object-oriented languages enable programmers to write elegant, reusable and extensible programs. However, with the current methodology for program verification, t…