| Software Verification of Hyperproperties Beyond k-Safety R Beutner, B Finkbeiner International Conference on Computer Aided Verification, 341-362, 2022 | 32 | 2022 |
| Translating Asynchronous Games for Distributed Synthesis R Beutner, B Finkbeiner, J Hecking-Harbusch 30th International Conference on Concurrency Theory 140, 26:1-26:16, 2019 | 18* | 2019 |
| AutoHyper: Explicit-state model checking for HyperLTL R Beutner, B Finkbeiner International Conference on Tools and Algorithms for the Construction and …, 2023 | 15 | 2023 |
| Prophecy variables for hyperproperty verification R Beutner, B Finkbeiner 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 471-485, 2022 | 15 | 2022 |
| A temporal logic for strategic hyperproperties R Beutner, B Finkbeiner arXiv preprint arXiv:2107.02509, 2021 | 15 | 2021 |
| Second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger International Conference on Computer Aided Verification, 309-332, 2023 | 13 | 2023 |
| HyperATL*: A logic for hyperproperties in multi-agent systems R Beutner, B Finkbeiner Logical Methods in Computer Science 19, 2023 | 13* | 2023 |
| Guaranteed bounds for posterior inference in universal probabilistic programming R Beutner, CHL Ong, F Zaiser Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 12 | 2022 |
| On probabilistic termination of functional programs with continuous distributions R Beutner, L Ong Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 12 | 2021 |
| Deciding hyperproperties combined with functional specifications R Beutner, D Carral, B Finkbeiner, J Hofmann, M Krötzsch Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 10 | 2022 |
| Model checking omega-regular hyperproperties with AutoHyperQ R Beutner, B Finkbeiner CISPA, 2023 | 6 | 2023 |
| On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing R Beutner, B Finkbeiner Proceedings of the AAAI Conference on Artificial Intelligence 38 (16), 17317 …, 2024 | 3 | 2024 |
| Monitoring second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger arXiv preprint arXiv:2404.09652, 2024 | 2 | 2024 |
| Checking and sketching causes on temporal sequences R Beutner, B Finkbeiner, H Frenkel, J Siber International Symposium on Automated Technology for Verification and …, 2023 | 2 | 2023 |
| Non-Deterministic Planning for Hyperproperty Verification R Beutner, B Finkbeiner Proceedings of the International Conference on Automated Planning and …, 2024 | | 2024 |
| Automated software verification of hyperliveness R Beutner International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
| Hyper Strategy Logic R Beutner, B Finkbeiner arXiv preprint arXiv:2403.13741, 2024 | | 2024 |
| 30th International Conference on Concurrency Theory (CONCUR 2019) WJ Fokkink, RJ van Glabbeek 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | | 2019 |
