1 citations · 1 across the 4 of their papers we have counts for
6 papers
A Navigation Logic for Recursive Programs with Dynamic Thread Creation
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem +1
Dynamic Pushdown Networks (DPNs) are a model for multithreaded programs with recursion and dynamic creation of threads. In this paper, we propose a temporal logic called NTL for re…
Deciding Asynchronous Hyperproperties for Recursive Programs
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
We introduce a novel logic for asynchronous hyperproperties with a new mechanism to identify relevant positions on traces. While the new logic is more expressive than a related log…
Temporal Team Semantics Revisited
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem +1
Temporal logics have been studied as an approach to the specification of hyperproperties, resulting in the conception of "hyperlogics". With a few recent exceptions, the hyperlogic…
Automata and Fixpoints for Asynchronous Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Hyperproperties have received increasing attention in the last decade due to their importance e.g. for security analyses. Past approaches have focussed on synchronous analyses, i.e…
Temporal Logics with Language Parameters
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many…
Propositional Dynamic Logic for Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Information security properties of reactive systems like non-interference often require relating different executions of the system to each other and following them simultaneously.…