Send email Copy Email Address
PhD Student

Raven Beutner

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Raven Beutner

Year 2023

2023-10-24

Checking and Sketching Causes on Temporal Sequences

Conference / Medium

ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2023-07-17

Second-Order Hyperproperties

Conference / Medium

CAV
Computer Aided VerificationCAV 2023

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2022

2022-08

Prophecy Variables for Hyperproperty Verification

Conference / Medium

CSF
CSF 2022CSF 2022

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2022-08

Software Verification of Hyperproperties Beyond k-Safety

Conference / Medium

CAV
CAVCAV 2022

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2022-06

Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming

Conference / Medium

PLDI
PLDI 2022PLDI 2022

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2022-04-14

Deciding Hyperproperties Combined with Functional Specifications

Conference / Medium

LICS
37th Annual ACM/IEEE Symposium on Logic in Computer Science37th Annual ACM/IEEE Symposium on Logic in Computer Science

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2021

2021-08

A Temporal Logic for Strategic Hyperproperties

Conference / Medium

CONCUR
CONCUR32nd International Conference on Concurrency Theory, CONCUR 2021

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2021-06

On Probabilistic Termination of Functional Programs with Continuous Distributions

Conference / Medium

PLDI
PLDI42nd International Conference on Programming Language Design and Implementation

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2019

2019-08

Translating Asynchronous Games for Distributed Synthesis

Conference / Medium

CONCUR
CONCUR30th International Conference on Concurrency Theory, CONCUR 2019

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2019

Translating Asynchronous Games for Distributed Synthesis

Conference / Medium

CONCUR
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page