Roderick Bloem -

Not registered as user yet

Name:Roderick Bloem

Affiliation:Institute of Software Technology, Graz University of Technology

Contributions

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