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

Solving QBF by Abstraction. - Jesko Hecking-Harbusch; Leander Tentrup (GandALF, 2018)

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

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. - Jesko Hecking-Harbusch; Niklas O. Metzger (ATVA, 2019)

Translating Asynchronous Games for Distributed Synthesis. - Raven Beutner; Bernd Finkbeiner; Jesko Hecking-Harbusch (CONCUR, 2019)

Translating Asynchronous Games for Distributed Synthesis (Full Version). - Raven Beutner; Bernd Finkbeiner; Jesko Hecking-Harbusch (CoRR, 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)

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)

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

Synthesis of asynchronous distributed systems from global specifications. - Jesko Hecking-Harbusch (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)

Formal Runtime Error Detection During Development in the Automotive Industry. - Jesko Hecking-Harbusch; Jochen Quante; Maximilian Schlund (VMCAI (1), 2024)

C to Rust Translation via Large Language Models. - Jochen Quante; Jesko Hecking-Harbusch; Matthias Woehrle (Softwaretechnik-Trends, 2025)