Jesko Hecking-Harbusch

21 papers B 5Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
C to Rust Translation via Large Language Models.
Softwaretechnik-Trends
Jochen Quante, Jesko Hecking-Harbusch, Matthias Woehrle
2025 J jnl
Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System.
CoRR
Martin Weiss, Jesko Hecking-Harbusch, Jochen Quante, Matthias Woehrle
2024 — conf
Formal Runtime Error Detection During Development in the Automotive Industry.
VMCAI (1)
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
2023 J jnl
Formal Runtime Error Detection During Development in the Automotive Industry.
CoRR
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
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
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 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 — —
Synthesis of asynchronous distributed systems from global specifications.
Jesko Hecking-Harbusch
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
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
CoRR
Jesko Hecking-Harbusch, Niklas O. Metzger
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
2019 B conf
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
ATVA
Jesko Hecking-Harbusch, Niklas O. Metzger
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
2019 J jnl
Translating Asynchronous Games for Distributed Synthesis (Full Version).
CoRR
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
2019 B conf
Translating Asynchronous Games for Distributed Synthesis.
CONCUR
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
2018 — conf
Solving QBF by Abstraction.
GandALF
Jesko Hecking-Harbusch, Leander Tentrup
2017 — conf
Symbolic vs. Bounded Synthesis for Petri Games.
SYNT@CAV
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog