Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Reinhard
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
SPLASH 2020 profile
Registered user since Sat 18 Jul 2020
Name:
Tobias Reinhard
Country:
Belgium
Affiliation:
imec-DistriNet, KU Leuven, Belgium
Contributions
2020
FTfJP
Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track
2018
FTfJP
Author of Static Latency Tracking with Placement Types within the FTfJP-track
Share
x
Wed 13 Nov 01:47