Send email Copy Email Address
PhD Student

Raven Beutner

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Raven Beutner

Year 2023

Conference / Medium

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

Conference / Medium

CAV
Computer Aided VerificationCAV 2023

Year 2022

Conference / Medium

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

Year 2021

Conference / Medium

CONCUR
CONCUR32nd International Conference on Concurrency Theory, CONCUR 2021

Conference / Medium

PLDI
PLDI42nd International Conference on Programming Language Design and Implementation

Year 2019

Conference / Medium

CONCUR
CONCUR30th International Conference on Concurrency Theory, CONCUR 2019

Conference / Medium

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