Jesko Hecking-Harbusch

A profile picture of Jesko Hecking-Harbusch

Contact

Email: jesko.hecking-harbusch at cispa.de
Phone: +49 681 302 5659
In person: Building E1 1, Room 1.16.2

About Me

I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University.

My research focuses on the synthesis of asynchronous distributed systems in the project Petri Games.

Publications

[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

Equivalence of Petri Games Master Thesis, Saarland University, 2016
A Game-Based Semantics for CSP Bachelor Thesis, Saarland University, 2015