Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bram Vandenbogaerde
conf.researchr.org general profile
ICFP 2024 profile
ISSTA/ECOOP 2024 profile
SPLASH 2023 profile
Registered user since Thu 1 Jul 2021
Name:
Bram Vandenbogaerde
Contributions
2024
ECOOP/ISSTA
Author of Soft Verification for Actor Contract Systems within the Doctoral Symposium-track
ICFP
Author of Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts within the ICFP Papers and Events-track
Author of Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts within the Artifact Evaluation-track
2023
SLE
Author of Cross-Level Debugging for Static Analysers within the SLE 2023-track
Share
x
Sun 1 Sep 07:13