Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Richard Bubel
conf.researchr.org general profile
ECOOP 2016 profile
ECOOP 2025 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
ICSE 2022 profile
SPLASH 2021 profile
Registered user since Fri 19 Feb 2016
Name:
Richard Bubel
Country:
Germany
Affiliation:
Technische Universität Darmstadt
Contributions
2025
FTfJP
Author of Towards an Axiomitisation of Solidity Memory and Storage within the FTfJP-track
PC Member in Program Committee within the FTfJP-track
2023
ECOOP
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track
2022
FormaliSE
Author of Automatic Loop Invariant Generation for Data Dependence Analysis within the FormaliSE 2022-track
2021
GPCE
Author of Delta-based Verification of Software Product Families within the GPCE-track
2018
ISSTA
Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
2016
FTfJP
Committee Member in Program Committee within the FTfJP-track
Share
x
Sun 21 Sep 17:18