Raven Beutner

A profile picture of Raven Beutner

Contact

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Phone: +49 681 87083 2244
Building: E 9.1, Room: 1.10
eMail: raven.beutner at cispa.de

About Me

I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University.
I am also a member of the Graduate School of Computer Science.

Publications

2024
[BF24d] Checking Satisfiability of Hyperproperties using First-Order Logic.
With Bernd Finkbeiner.
22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024).
[BHBF24] Syntax-Guided Automated Program Repair for Hyperproperties.
With Tzu-Han Hsu, Borzoo Bonakdarpour, and Bernd Finkbeiner.
36th International Conference on Computer Aided Verifications (CAV 2024).
[BFG24] Visualizing Game-Based Certificates for Hyperproperty Verification.
With Bernd Finkbeiner and Angelina Göbl.
26th International Symposium on Formal Methods (FM 2024).
[BF24c] Non-Deterministic Planning for Hyperproperty Verification.
With Bernd Finkbeiner.
34th International Conference on Automated Planning and Scheduling (ICAPS 2024).
[BF24b] Hyper Strategy Logic.
With Bernd Finkbeiner.
23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024).
[BFFM24] Monitoring Second-Order Hyperproperties.
With Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger.
23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024).
[B24] Automated Software Verification of Hyperliveness.
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024).
[BF24a] On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing.
With Bernd Finkbeiner.
38th Conference on Artificial Intelligence (AAAI 2024).
2023
[BFFS23] Checking and Sketching Causes on Temporal Sequences.
With Bernd Finkbeiner, Hadar Frenkel, and Julian Siber.
21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
[BFFM23] Second-Order Hyperproperties.
With Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger.
35th International Conference on Computer Aided Verification (CAV 2023).
[BF23c] Model Checking Omega-Regular Hyperproperties with AutoHyperQ.
With Bernd Finkbeiner.
24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2023).
[BF23b] HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems.
With Bernd Finkbeiner.
Logical Methods in Computer Science (LMCS).
CONCUR 2021 Special Issue.
[BF23a] AutoHyper: Explicit-State Model Checking for HyperLTL.
With Bernd Finkbeiner.
SCP Best Paper Award.
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023).
2022
[BF22b] Software Verification of Hyperproperties Beyond k-Safety.
With Bernd Finkbeiner.
CAV Distinguished Paper Award.
34th International Conference on Computer Aided Verification (CAV 2022).
[BF22a] Prophecy Variables for Hyperproperty Verification.
With Bernd Finkbeiner.
35th IEEE Computer Security Foundations Symposium (CSF 2022).
[BCFHK22] Deciding Hyperproperties Combined with Functional Specifications.
With David Carral, Bernd Finkbeiner, Jana Hofmann, and Markus Krötzsch.
37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022).
[BOZ22] Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
With Luke Ong and Fabian Zaiser.
43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
2021
[BF21] A Temporal Logic for Strategic Hyperproperties.
With Bernd Finkbeiner.
32nd International Conference on Concurrency Theory (CONCUR 2021).
[BO21] On Probabilistic Termination of Functional Programs with Continuous Distributions.
With Luke Ong.
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).
2019
[BFH19] Translating Asynchronous Games for Distributed Synthesis.
With Bernd Finkbeiner, and Jesko Hecking-Harbusch.
30th International Conference on Concurrency Theory (CONCUR 2019).

Theses

On Termination of Higher-Order Recursive Programs with Continuous Distributions Master’s Thesis University of Oxford 2020
Translating Asynchronous Games for Distributed Synthesis Bachelor’s Thesis Saarland University 2019

Scientific Service

Teaching

Summer 2023 Advisor for Seminar Hyperproperties
Summer 2022 Advisor for Proseminar From Program Verification to Synthesis
Summer 2022 Advisor for Seminar Neural-Symbolic Computing
Summer 2019 Coach for Mathematics Precourse
Summer 2019 Student TA for Introduction to Computational Logic
Summer 2018 Coach for Mathematics Precourse
Winter 2017 Student TA for Programming 1
Summer 2017 Student TA for Mathematics Precourse
Winter 2016 Re-exam Student TA for Programming 1