Jesko Hecking-Harbusch

According to our database, Jesko Hecking-Harbusch authored at least 15 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formal Runtime Error Detection During Development in the Automotive Industry.

Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Synthesis of asynchronous distributed systems from global specifications.

Jesko Hecking-Harbusch

PhD thesis, 2021

A Web Interface for Petri Nets with Transits and Petri Games.

Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Model Checking Branching Properties on Petri Nets with Transits (Full Version).

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

CoRR, 2020

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version).

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

CoRR, 2020

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Model Checking Branching Properties on Petri Nets with Transits.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Model Checking Data Flows in Concurrent Network Updates (Full Version).

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

CoRR, 2019

Translating Asynchronous Games for Distributed Synthesis (Full Version).

Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch

CoRR, 2019

Translating Asynchronous Games for Distributed Synthesis.

Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.

Jesko Hecking-Harbusch, Niklas O. Metzger

Proceedings of the Automated Technology for Verification and Analysis, 2019

Model Checking Data Flows in Concurrent Network Updates.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Solving QBF by Abstraction.

Jesko Hecking-Harbusch, Leander Tentrup

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2017

Symbolic vs. Bounded Synthesis for Petri Games.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017