E-mail senden E-Mail Adresse kopieren
Doktorand:in

Raven Beutner

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Raven Beutner

Jahr 2023

Konferenz / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Jahr 2022

Konferenz / Medium

IEEE Computer Security Foundations Symposium (CSF)

Konferenz / Medium

Computer Aided Verification (CAV)

Konferenz / Medium

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Konferenz / Medium

IEEE Symposium on Logic in Computer Science (LICS)

Jahr 2021

Konferenz / Medium

International Conference on Concurrency Theory (CONCUR)