Jesko Hecking-Harbusch
About Me
I was a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University.
My research focused on the synthesis of asynchronous distributed systems in the project Petri Games.
I defended my Ph.D. thesis Synthesis of Asynchronous Distributed Systems from Global Specifications in December 2021.
Publications
| [FGHO22] | Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) |
| [GHY21] | A Web Interface for Petri Nets with Transits and Petri Games Manuel Gieseking, Jesko Hecking-Harbusch, and Ann Yanich 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021) |
| [FGHO20b] | Model Checking Branching Properties on Petri Nets with Transits Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020) |
| [FGHO20a] | AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog 32nd International Conference on Computer-Aided Verification (CAV 2020) |
| [HM19] | Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems Jesko Hecking-Harbusch and Niklas Metzger 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) |
| [FGHO19] | Model Checking Data Flows in Concurrent Network Updates Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) |
| [BFH19] | Translating Asynchronous Games for Distributed Synthesis Raven Beutner, Bernd Finkbeiner, and Jesko Hecking-Harbusch 30th International Conference on Concurrency Theory (CONCUR 2019) |
| [HT18] | Solving QBF by Abstraction Jesko Hecking-Harbusch and Leander Tentrup Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018) |
| [FGHO17] | Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog Sixth Workshop on Synthesis (SYNT@CAV 2017) |
Student Projects
| Translating Asynchronous Games for Distributed Synthesis | Raven Beutner, Bachelor Thesis, 2019 |
| Generating Concurrency-preserving Petri Games | Sanny Schmitt, Bachelor Thesis, 2019 |
| Bounded Synthesis of Petri Games with True Concurrency Semantics | Niklas Metzger, Bachelor Thesis, 2017 |
Teaching
| Summer 2020 | Seminar Advisor for Neural-Symbolic Computing. |
| Summer 2019 | Seminar Advisor for Hybrid Systems. |
| Winter 2018/19 | Seminar Advisor for Hyperproperties. |
| Summer 2018 | Project Advisor for Embedded Systems. |
| Winter 2017/18 | Proseminar Advisor for Time Machine. |
| Winter 2016/17 | Seminar Advisor for Runtime Verification. |
Theses
| Synthesis of Asynchronous Distributed Systems from Global Specifications | Ph.D. Thesis, Saarland University, 2021 |
| Equivalence of Petri Games | Master Thesis, Saarland University, 2016 |
| A Game-Based Semantics for CSP | Bachelor Thesis, Saarland University, 2015 |