Software Verification of Hyperproperties Beyond k-Safety R Beutner, B Finkbeiner International Conference on Computer Aided Verification, 341-362, 2022 | 28 | 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 | 19* | 2019 |
A temporal logic for strategic hyperproperties R Beutner, B Finkbeiner arXiv preprint arXiv:2107.02509, 2021 | 16 | 2021 |
Prophecy variables for hyperproperty verification R Beutner, B Finkbeiner 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 471-485, 2022 | 14 | 2022 |
HyperATL*: A logic for hyperproperties in multi-agent systems R Beutner, B Finkbeiner Logical Methods in Computer Science 19, 2023 | 12* | 2023 |
Second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger International Conference on Computer Aided Verification, 309-332, 2023 | 11 | 2023 |
AutoHyper: Explicit-state model checking for HyperLTL R Beutner, B Finkbeiner International Conference on Tools and Algorithms for the Construction and …, 2023 | 11 | 2023 |
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 | 11 | 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 | 11 | 2021 |
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 | 10 | 2022 |
Model checking omega-regular hyperproperties with AutoHyperQ R Beutner, B Finkbeiner International Conference on Logic for Programming, Artificial Intelligence …, 2023 | 5 | 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 | 2 | 2024 |
Monitoring second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger arXiv preprint arXiv:2404.09652, 2024 | 1 | 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 |
Checking and Sketching Causes on Temporal Sequences R Beutner, B Finkbeiner, H Frenkel, J Siber International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
30th International Conference on Concurrency Theory (CONCUR 2019) MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
Non-Deterministic Planning for Hyperproperty Verification R Beutner, B Finkbeiner 34th International Conference on Automated Planning and Scheduling, 0 | | |