16 citations · 43 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (Full Version)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch +1
In the synthesis of distributed systems, we automate the development of distributed programs and hardware by automatically deriving correct implementations from formal specificatio…
cs.LO2021
A Web Interface for Petri Nets with Transits and Petri Games
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
Developing algorithms for distributed systems is an error-prone task. Formal models like Petri nets with transits and Petri games can prevent errors when developing such algorithms…