Folgen
Manuel Gieseking
Titel
Zitiert von
Zitiert von
Jahr
Adam: Causality-Based Synthesis of Distributed Systems
B Finkbeiner, M Gieseking, ER Olderog
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
332015
Model checking data flows in concurrent network updates
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Automated Technology for Verification and Analysis: 17th International …, 2019
222019
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
202020
Symbolic vs. bounded synthesis for Petri games
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:1711.10637, 2017
152017
A web interface for Petri nets with transits and Petri games
M Gieseking, J Hecking-Harbusch, A Yanich
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
112021
Solving high-level Petri games
M Gieseking, ER Olderog, N Würdemann
Acta Informatica 57 (3-5), 591-626, 2020
102020
Model checking branching properties on Petri nets with transits
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Automated Technology for Verification and Analysis: 18th International …, 2020
10*2020
Global winning conditions in synthesis of distributed systems with causal memory
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 216, 20, 2022
72022
High-level representation of benchmark families for Petri games
M Gieseking, ER Olderog
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2022
72022
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games
M Gieseking, N Würdemann
Application and Theory of Petri Nets and Concurrency: 42nd International …, 2021
42021
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (Full Version)
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:2107.09280, 2021
22021
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
M Gieseking
Universität Oldenburg, 2023
12023
Trace Refinement of π-Calculus Processes
M Gieseking
1
Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen
M Gieseking
Gesellschaft für Informatik eV, 2023
2023
Towards a Composition of Region-Adherent Systems
D Rahmatov, M Gieseking, O Theel
ICNS 2018 : The Fourteenth International Conference on Networking and …, 2018
2018
Projektgruppe APT
B von der Linde, C Schierholz, D Lückehe, D Borde, M Schwammberger, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16