Dr. Raven Beutner

While being a member of this group or in collaboration with us.

• Strategy Logic, Imperfect Information, and Hyperproperties
  Raven Beutner and Bernd Finkbeiner · KR 2025
• On Conformant Planning and Model-Checking of ∃*∀* Hyperproperties
  Raven Beutner and Bernd Finkbeiner · ECAI 2025
• Verifying Asynchronous Hyperproperties in Reactive Systems
  Raven Beutner and Bernd Finkbeiner · OOPSLA 2025
• On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
  Raven Beutner and Bernd Finkbeiner · FMCAD 2025 · Best Paper Award
• Predicate abstraction for hyperliveness verification
  Raven Beutner and Bernd Finkbeiner · FMSD 2025
• Multiplayer Games With Incomplete Information for Hyperproperty Verification (Extended Abstract)
  Raven Beutner and Bernd Finkbeiner · AAMAS 2025
• AutoHyper: leveraging language inclusion checking for hyperproperty model-checking
  Raven Beutner and Bernd Finkbeiner · STTT 2025
• Checking Satisfiability of Hyperproperties using First-Order Logic
  Raven Beutner and Bernd Finkbeiner · ATVA 2024 · Distinguished Paper Award
• Visualizing Game-Based Certificates for Hyperproperty Verification
  Raven Beutner, Bernd Finkbeiner and Angelina Göbl · FM 2024 · Distinguished Paper Award
• Syntax-Guided Automated Program Repair for Hyperproperties
  Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour and Bernd Finkbeiner · CAV 2024
• Non-Deterministic Planning for Hyperproperty Verification
  Raven Beutner and Bernd Finkbeiner · ICAPS 2024
• Hyper Strategy Logic
  Raven Beutner and Bernd Finkbeiner · AAMAS 2024
• Monitoring Second-Order Hyperproperties
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger · AAMAS 2024
• Automated Software Verification of Hyperliveness
  Raven Beutner · TACAS 2024
• On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
  Raven Beutner and Bernd Finkbeiner · AAAI 2024
• Checking and Sketching Causes on Temporal Sequences
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Julian Siber · ATVA 2023
• Second-Order Hyperproperties
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger · CAV 2023
• Model Checking Omega-Regular Hyperproperties with AutoHyperQ
  Raven Beutner and Bernd Finkbeiner · LPAR 2023
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
  Raven Beutner and Bernd Finkbeiner · LMCS 2023
• AutoHyper: Explicit-State Model Checking for HyperLTL
  Raven Beutner and Bernd Finkbeiner · TACAS 2023 · SCP Best Paper Award
• Deciding Hyperproperties Combined with Functional Specifications
  Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch · LICS 2022
• Prophecy Variables for Hyperproperty Verification
  Raven Beutner and Bernd Finkbeiner · CSF 2022
• Software Verification of Hyperproperties Beyond k-Safety
  Raven Beutner and Bernd Finkbeiner · CAV 2022 · Distinguished Paper Award
• Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
  Raven Beutner, Luke Ong and Fabian Zaiser · PLDI 2022
• A Temporal Logic for Strategic Hyperproperties
  Raven Beutner and Bernd Finkbeiner · CONCUR 2021
• On Probabilistic Termination of Functional Programs with Continuous Distributions
  Raven Beutner and Luke Ong · PLDI 2021
• Translating Asynchronous Games for Distributed Synthesis
  Raven Beutner, Bernd Finkbeiner and Jesko Hecking-Harbusch · CONCUR 2019

While being a member of this group or in collaboration with us.

• On Termination of Higher-Order Recursive Programs with Continuous Distributions
  Raven Beutner · Oxford University (Master Thesis) · Hoare Prize
• Translating Asynchronous Games for Distributed Synthesis
  Raven Beutner · UdS (Bachelor Thesis) · FdSI Bachelor Award

• Visuallizing Game-Based Certificates for Hyperproperty Verification
  Angelina Göbl · Student Research Project (Hiwi)

• Hyperproperties

  Advisor·Reactive Systems Group · Summer 2023
• From Program Verification to Synthesis

  Advisor·Reactive Systems Group · Summer 2022
• Neural-Symbolic Computing

  Advisor·Reactive Systems Group · Summer 2022
• Mathematics Precourse

  Coach·Saarland University · Summer 2019
• Introduction to Computational Logic

  Student TA·Programming Systems Lab · Summer 2019
• Mathematics Precourse

  Coach·Saarland University · Summer 2018
• Programmierung 1

  Student TA·Reactive Systems Group · Winter 2017/2018
• Mathematics Precourse

  Student TA·Saarland University · Summer 2017
• Programming 1

  Re-exam Student TA·Dependable Systems and Software · Winter 2016/2017