Articles with public access mandates - Manuel GiesekingLearn more
Available somewhere: 9
Adam: Causality-Based Synthesis of Distributed Systems
B Finkbeiner, M Gieseking, ER Olderog
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Mandates: German Research Foundation
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
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation, European Commission
Solving high-level Petri games
M Gieseking, ER Olderog, N Würdemann
Acta Informatica 57 (3-5), 591-626, 2020
Mandates: German Research Foundation
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
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation, European Commission
High-level representation of benchmark families for Petri games
M Gieseking, ER Olderog
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2022
Mandates: German Research Foundation
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
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program