Raven Beutner
![A profile picture of Raven Beutner](/img/profile/Raven_Beutner.jpeg)
Contact
Reactive Systems Group |
CISPA Helmholtz Center for Information Security |
Saarland University Campus |
Phone: +49 681 87083 2244 |
Building: E 9.1, Room: 1.10 |
eMail: | raven.beutner at cispa.de |
Office Hours: | Whenever my door is open. |
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
[BF24c] | Non-Deterministic Planning for Hyperproperty Verification. With Bernd Finkbeiner. 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), to appear. |
[BF24b] | Hyper Strategy Logic. With Bernd Finkbeiner. 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024), to appear. |
[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), to appear. |
[B24] | Automated Software Verification of Hyperliveness. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), to appear. |
[BF24a] | On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. With Bernd Finkbeiner. 38th Conference on Artificial Intelligence (AAAI 2024). |
[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). |
[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). |
[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). |
[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
- Subreviewer for TACAS 2022, NFM 2022, CONCUR 2022, TACAS 2023, ATVA 2023, VMCAI 2024, STACS 2024
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 |