Manuel Gieseking

21 papers B 4Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2022 — —
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis.
Manuel Gieseking
2022 B conf
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
CSL
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2022 — ch.
Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen.
Ausgezeichnete Informatikdissertationen
Manuel Gieseking
2021 — conf
A Web Interface for Petri Nets with Transits and Petri Games.
TACAS (2)
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
2021 J jnl
A Web Interface for Petri Nets with Transits and Petri Games.
CoRR
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
2021 B conf
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games.
Petri Nets
Manuel Gieseking, Nick Würdemann
2021 J jnl
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version).
CoRR
Manuel Gieseking, Nick Würdemann
2021 J jnl
Canonical Representations for Direct Generation of Strategies in High-level Petri Games.
CoRR
Manuel Gieseking, Nick Würdemann
2021 J jnl
Correction to: Solving high-level Petri games.
Acta Informatica
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
2021 J jnl
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2021 — conf
High-Level Representation of Benchmark Families for Petri Games.
Model Checking, Synthesis, and Learning
Manuel Gieseking, Ernst-Rüdiger Olderog
2020 J jnl
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version).
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 — conf
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.
CAV (2)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 J jnl
Model Checking Branching Properties on Petri Nets with Transits (Full Version).
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 B conf
Model Checking Branching Properties on Petri Nets with Transits.
ATVA
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020 J jnl
Solving high-level Petri games.
Acta Informatica
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
2019 J jnl
High-Level Representation of Benchmark Families for Petri Games.
CoRR
Manuel Gieseking, Ernst-Rüdiger Olderog
2019 J jnl
Model Checking Data Flows in Concurrent Network Updates (Full Version).
CoRR
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2019 B conf
Model Checking Data Flows in Concurrent Network Updates.
ATVA
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2017 — conf
Symbolic vs. Bounded Synthesis for Petri Games.
SYNT@CAV
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2015 — conf
Adam: Causality-Based Synthesis of Distributed Systems.
CAV (1)
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog