| 2026 | SANER | Feedback Loops and Code Perturbations in LLM-Based Software Engineering: A Case Study on a C-to-Rust Translation System. | Martin Weiss, Jesko Hecking-Harbusch, Jochen Quante, Matthias Woehrle |
| 2024 | VMCAI | Formal Runtime Error Detection During Development in the Automotive Industry. | Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund |
| 2022 | CSL | Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2021 | TACAS | A Web Interface for Petri Nets with Transits and Petri Games. | Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich |
| 2020 | ATVA | Model Checking Branching Properties on Petri Nets with Transits. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2020 | CAV | AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2019 | ATVA | Model Checking Data Flows in Concurrent Network Updates. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2019 | ATVA | Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. | Jesko Hecking-Harbusch, Niklas O. Metzger |
| 2019 | CONCUR | Translating Asynchronous Games for Distributed Synthesis. | Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch |