Jesko Hecking-Harbusch

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Distributed Constraint Satisfaction Problems

Distributed Systems

Top Venues

Publications

Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
Formal Runtime Error Detection During Development in the Automotive Industry. VMCAI (1) (2024)
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
Formal Runtime Error Detection During Development in the Automotive Industry. CoRR (2023)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL (2022)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR (2021)
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
A Web Interface for Petri Nets with Transits and Petri Games. CoRR (2021)
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
A Web Interface for Petri Nets with Transits and Petri Games. TACAS (2) (2021)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Branching Properties on Petri Nets with Transits. ATVA (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR (2020)
Jesko Hecking-Harbusch, Niklas O. Metzger
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. CoRR (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) (2020)
Jesko Hecking-Harbusch, Niklas O. Metzger
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. ATVA (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Data Flows in Concurrent Network Updates. ATVA (2019)
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Translating Asynchronous Games for Distributed Synthesis. CONCUR (2019)
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Translating Asynchronous Games for Distributed Synthesis (Full Version). CoRR (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR (2019)
Jesko Hecking-Harbusch, Leander Tentrup
Solving QBF by Abstraction. GandALF (2018)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV (2017)