Seguir
Raven Beutner
Raven Beutner
CISPA Helmholtz Center for Information Security
Dirección de correo verificada de cispa.de - Página principal
Título
Citado por
Citado por
Año
Software Verification of Hyperproperties Beyond k-Safety
R Beutner, B Finkbeiner
International Conference on Computer Aided Verification, 341-362, 2022
302022
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
162021
Prophecy variables for hyperproperty verification
R Beutner, B Finkbeiner
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 471-485, 2022
142022
Second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
International Conference on Computer Aided Verification, 309-332, 2023
132023
HyperATL*: A logic for hyperproperties in multi-agent systems
R Beutner, B Finkbeiner
Logical Methods in Computer Science 19, 2023
13*2023
AutoHyper: Explicit-state model checking for HyperLTL
R Beutner, B Finkbeiner
International Conference on Tools and Algorithms for the Construction and …, 2023
132023
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
112022
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
112022
On probabilistic termination of functional programs with continuous distributions
R Beutner, L Ong
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
112021
Model checking omega-regular hyperproperties with AutoHyperQ
R Beutner, B Finkbeiner
International Conference on Logic for Programming, Artificial Intelligence …, 2023
62023
Monitoring second-order hyperproperties
R Beutner, B Finkbeiner, H Frenkel, N Metzger
arXiv preprint arXiv:2404.09652, 2024
22024
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
22024
Checking and Sketching Causes on Temporal Sequences
R Beutner, B Finkbeiner, H Frenkel, J Siber
International Symposium on Automated Technology for Verification and …, 2023
12023
Non-Deterministic Planning for Hyperproperty Verification
R Beutner, B Finkbeiner
arXiv preprint arXiv:2405.13488, 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)
MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18