Manuel Gieseking
Title
Cited by
Cited by
Year
ADAM: causality-based synthesis of distributed systems
B Finkbeiner, M Gieseking, ER Olderog
International Conference on Computer Aided Verification, 433-439, 2015
212015
Symbolic vs. bounded synthesis for Petri games
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:1711.10637, 2017
82017
Model Checking Data Flows in Concurrent Network Updates (Full Version)
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:1907.11061, 2019
52019
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
International Conference on Computer Aided Verification, 64-76, 2020
42020
Model Checking Data Flows in Concurrent Network Updates
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
International Symposium on Automated Technology for Verification and …, 2019
42019
Model Checking Branching Properties on Petri Nets with Transits (Full Version)
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:2007.07235, 2020
12020
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:2005.07130, 2020
12020
Model Checking Branching Properties on Petri Nets with Transits
B Finkbeiner, M Gieseking, J Hecking-Harbusch, E Olderog
Proc. of ATVA, 2020
12020
High-Level Representation of Benchmark Families for Petri Games
M Gieseking, ER Olderog
arXiv preprint arXiv:1904.05621, 2019
12019
Trace Refinement of π-Calculus Processes
M Gieseking
1
Solving high-level Petri games
M Gieseking, ER Olderog, N Würdemann
Acta Informatica, 1-36, 2020
2020
Projektgruppe APT
B von der Linde, C Schierholz, D Lückehe, D Borde, M Schwammberger, ...
The system can't perform the operation now. Try again later.
Articles 1–12