Adam: Causality-Based Synthesis of Distributed Systems B Finkbeiner, M Gieseking, ER Olderog Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 34 | 2015 |
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 | 23 | 2019 |
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 | 20 | 2020 |
Symbolic vs. bounded synthesis for Petri games B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog arXiv preprint arXiv:1711.10637, 2017 | 16 | 2017 |
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 | 11 | 2021 |
Solving high-level Petri games M Gieseking, ER Olderog, N Würdemann Acta Informatica 57 (3-5), 591-626, 2020 | 10 | 2020 |
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 | 7 | 2022 |
High-level representation of benchmark families for Petri games M Gieseking, ER Olderog Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2022 | 7 | 2022 |
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 | 4 | 2021 |
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 | 2 | 2021 |
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis M Gieseking Universität Oldenburg, 2023 | 1 | 2023 |
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, ... | | |