conf.researchr.org / Roderick Bloem
Roderick Bloem

Not registered as user yet

Name: Roderick Bloem

Affiliation: Institute of Software Technology, Graz University of Technology

Contributions

VMCAI 2021Committee Member in Program Committee within the VMCAI-track
SYNT Camp 2019Committee Member in Program Committee within the SYNT Camp-track
VMCAI 2019Author of Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs within the VMCAI 2019-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
VMCAI 2017Committee Member in Program committee
Author of Synthesizing Non-Vacuous Systems within the VMCAI-track