66 citations · 568 across the 83 of their papers we have counts for
10 papers · 1 filter
How to Win First-Order Safety Games
Helmut Seidl, Christian Müller, Bernd Finkbeiner
First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent…
Model Checking Data Flows in Concurrent Network Updates (Full Version)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch +1
We present a model checking approach for the verification of data flow correctness in networks during concurrent updates of the network configuration. This verification problem is…
Translating Asynchronous Games for Distributed Synthesis (Full Version)
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
In distributed synthesis, we generate a set of process implementations that, together, accomplish an objective against all possible behaviors of the environment. A lot of recent wo…
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…
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…