16 citations · 43 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 5 cited
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…
cs.LO2019★ 7 cited
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…