Articles with public access mandates - Raven BeutnerLearn more
Available somewhere: 13
Software Verification of Hyperproperties Beyond k-Safety
R Beutner, B Finkbeiner
International Conference on Computer Aided Verification, 341-362, 2022
Mandates: German Research Foundation
AutoHyper: Explicit-state model checking for HyperLTL
R Beutner, B Finkbeiner
International Conference on Tools and Algorithms for the Construction and …, 2023
Mandates: German Research Foundation, European Commission
Prophecy variables for hyperproperty verification
R Beutner, B Finkbeiner
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 471-485, 2022
Mandates: German Research Foundation
Second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
International Conference on Computer Aided Verification, 309-332, 2023
Mandates: German Research Foundation, European Commission, Federal Ministry of …
HyperATL*: A logic for hyperproperties in multi-agent systems
R Beutner, B Finkbeiner
Logical Methods in Computer Science 19, 2023
Mandates: German Research Foundation
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
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Model checking omega-regular hyperproperties with AutoHyperQ
R Beutner, B Finkbeiner
CISPA, 2023
Mandates: German Research Foundation, European Commission
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
Mandates: European Commission
Non-Deterministic Planning for Hyperproperty Verification
R Beutner, B Finkbeiner
Proceedings of the International Conference on Automated Planning and …, 2024
Mandates: European Commission
Checking and sketching causes on temporal sequences
R Beutner, B Finkbeiner, H Frenkel, J Siber
International Symposium on Automated Technology for Verification and …, 2023
Mandates: European Commission
Automated software verification of hyperliveness
R Beutner
International Conference on Tools and Algorithms for the Construction and …, 2024
Mandates: European Commission
Visualizing Game-Based Certificates for Hyperproperty Verification
R Beutner, B Finkbeiner, A Göbl
International Symposium on Formal Methods, 67-75, 2024
Mandates: European Commission
Syntax-Guided Automated Program Repair for Hyperproperties
R Beutner, TH Hsu, B Bonakdarpour, B Finkbeiner
International Conference on Computer Aided Verification, 3-26, 2024
Mandates: European Commission
Publication and funding information is determined automatically by a computer program