6 citations · 6 across the 4 of their papers we have counts for
5 papers
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger +1
We present RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces wit…
Constraint-Based Monitoring of Hyperproperties
Christopher Hahn, Marvin Stenger, Leander Tentrup
Verifying hyperproperties at runtime is a challenging problem as hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with ea…
Model Checking Quantitative Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Hyperproperties are properties of sets of computation traces. In this paper, we study quantitative hyperproperties, which we define as hyperproperties that express a bound on the n…
Synthesizing Reactive Systems from Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Philip Lukert +2
We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to…
Deciding Hyperproperties
Bernd Finkbeiner, Christopher Hahn
Hyperproperties, like observational determinism or symmetry, cannot be expressed as properties of individual computation traces, because they describe a relation between multiple c…