Dr. Jesko Hecking-Harbusch

While being a member of this group or in collaboration with us.

• Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory
  Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and Ernst-Rüdiger Olderog · CSL 2022
• A Web Interface for Petri Nets with Transits and Petri Games
  Manuel Gieseking, Jesko Hecking-Harbusch and Ann Yanich · TACAS 2021
• Model Checking Branching Properties on Petri Nets with Transits
  Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and 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 and Ernst-Rüdiger Olderog · CAV 2020
• Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
  Jesko Hecking-Harbusch and Niklas Metzger · ATVA 2019
• Model Checking Data Flows in Concurrent Network Updates
  Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and Ernst-Rüdiger Olderog · ATVA 2019
• Translating Asynchronous Games for Distributed Synthesis
  Raven Beutner, Bernd Finkbeiner and Jesko Hecking-Harbusch · CONCUR 2019
• Solving QBF by Abstraction
  Jesko Hecking-Harbusch and Leander Tentrup · GandALF 2018
• Symbolic vs. Bounded Synthesis for Petri Games
  Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and Ernst-Rüdiger Olderog · SYNT 2017

While being a member of this group or in collaboration with us.

• Synthesis of Asynchronous Distributed Systems from Global Specifications
  Jesko Hecking-Harbusch · UdS
• Equivalence of Petri Games
  Jesko Hecking-Harbusch · UdS (Master Thesis)
• A Game-Based Semantics for CSP
  Jesko Hecking-Harbusch · UdS (Bachelor Thesis)

• Bounded Synthesis of Petri Games with True Concurrency Semantics
  Niklas Metzger · Bachelor Thesis