Manuel Gieseking
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2015 | CAV | Adam: Causality-Based Synthesis of Distributed Systems. | Bernd Finkbeiner, Manuel Gieseking, Ernst-Rdiger Olderog |