10 citations · 17 across the 9 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.GT2019
High-Level Representation of Benchmark Families for Petri Games
Manuel Gieseking, Ernst-Rüdiger Olderog
Petri games have been introduced as a multi-player game model representing causal memory to address the synthesis of distributed systems. For Petri games with one environment playe…