Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roderick Bloem
conf.researchr.org general profile
ETAPS 2019 profile
FM 2026 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2025 profile
Not registered as user
Name:
Roderick Bloem
Affiliation:
Institute of Software Technology, Graz University of Technology
Contributions
2026
FM
Committee Member in Program Committee within the Research Track-track
2025
VMCAI
Author of Synthesis of Controllers for Continuous Blackbox Systems within the VMCAI 2025-track
2021
VMCAI
Session Chair of Case Studies (part of VMCAI)
Committee Member in Program Committee within the VMCAI-track
2019
SYNTCOMP Camp
Committee Member in Program Committee within the SYNT Camp-track
VMCAI
Author of Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs within the VMCAI 2019-track
2018
VMCAI
Committee Member in Program Committee within the VMCAI 2018-track
2017
VMCAI
Committee Member in Program committee
Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
Share
x
Mon 13 Apr 04:18
