Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Björn Brandenburg
conf.researchr.org general profile
PLDI 2025 profile
Not registered as user
Name:
Björn Brandenburg
Affiliation:
MPI-SWS
Contributions
2025
PLDI
Author of RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers within the PLDI Research Papers-track
Share
x
Tue 19 May 11:55