Adam: Causality-Based Synthesis of Distributed Systems. - Bernd Finkbeiner; Manuel Gieseking; Ernst-Rüdiger Olderog (CAV (1), 2015)

Symbolic vs. Bounded Synthesis for Petri Games. - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (SYNT@CAV, 2017)

Model Checking Data Flows in Concurrent Network Updates. - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (ATVA, 2019)

Model Checking Data Flows in Concurrent Network Updates (Full Version). - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (CoRR, 2019)

Model Checking Branching Properties on Petri Nets with Transits. - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (ATVA, 2020)

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (CAV (2), 2020)

Solving high-level Petri games. - Manuel Gieseking; Ernst-Rüdiger Olderog; Nick Würdemann (Acta Informatica, 2020)

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (CoRR, 2020)

Model Checking Branching Properties on Petri Nets with Transits (Full Version). - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (CoRR, 2020)

Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. - Manuel Gieseking; Nick Würdemann (Petri Nets, 2021)

High-Level Representation of Benchmark Families for Petri Games. - Manuel Gieseking; Ernst-Rüdiger Olderog (Model Checking, Synthesis, and Learning, 2021)

A Web Interface for Petri Nets with Transits and Petri Games. - Manuel Gieseking; Jesko Hecking-Harbusch; Ann Yanich (TACAS (2), 2021)

Correction to: Solving high-level Petri games. - Manuel Gieseking; Ernst-Rüdiger Olderog; Nick Würdemann (Acta Informatica, 2021)

Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version). - Manuel Gieseking; Nick Würdemann (CoRR, 2021)

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. - Bernd Finkbeiner; Manuel Gieseking; Jesko Hecking-Harbusch; Ernst-Rüdiger Olderog (CSL, 2022)

Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis. - Manuel Gieseking (2022)

Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen. - Manuel Gieseking (Ausgezeichnete Informatikdissertationen, 2022)