Solving QBF by abstraction J Hecking-Harbusch, L Tentrup arXiv preprint arXiv:1604.06752, 2016 | 29* | 2016 |
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 | 23 | 2019 |
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog Proceedings of CAV, 2020 | 20 | 2020 |
Translating asynchronous games for distributed synthesis (Full Version) R Beutner, B Finkbeiner, J Hecking-Harbusch arXiv preprint arXiv:1907.00829, 2019 | 19 | 2019 |
Symbolic vs. bounded synthesis for Petri games B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog arXiv preprint arXiv:1711.10637, 2017 | 17 | 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 | 12 | 2021 |
Efficient trace encodings of bounded synthesis for asynchronous distributed systems J Hecking-Harbusch, NO Metzger International Symposium on Automated Technology for Verification and …, 2019 | 12 | 2019 |
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 Proceedings of CSL, 1-36, 2022 | 9* | 2022 |
Synthesis of asynchronous distributed systems from global specifications J Hecking-Harbusch Saarländische Universitäts-und Landesbibliothek, 2021 | 3 | 2021 |
Formal Runtime Error Detection During Development in the Automotive Industry J Hecking-Harbusch, J Quante, M Schlund International Conference on Verification, Model Checking, and Abstract …, 2023 | | 2023 |