Manuel Gieseking

According to our database, Manuel Gieseking authored at least 17 papers between 2015 and 2022.

Collaborative distances:

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

2022

Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen.

Manuel Gieseking

Ausgezeichnete Informatikdissertationen, 2022

Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis.

Manuel Gieseking

PhD thesis, 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

Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version).

Manuel Gieseking, Nick Würdemann

CoRR, 2021

Correction to: Solving high-level Petri games.

Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann

Acta Informatica, 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

High-Level Representation of Benchmark Families for Petri Games.

Manuel Gieseking, Ernst-Rüdiger Olderog

Proceedings of the Model Checking, Synthesis, and Learning, 2021

Canonical Representations for Direct Generation of Strategies in High-Level Petri Games.

Manuel Gieseking, Nick Würdemann

Proceedings of the Application and Theory of Petri Nets and Concurrency, 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

Solving high-level Petri games.

Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann

Acta Informatica, 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

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

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

2015

Adam: Causality-Based Synthesis of Distributed Systems.

Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog

Proceedings of the Computer Aided Verification - 27th International Conference, 2015