Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Heike Wehrheim
conf.researchr.org general profile
ASE 2022 profile
ICSE 2025 profile
ICST 2023 profile
ICST 2024 profile
ISSTA/ECOOP 2024 profile
POPL 2024 profile
STAF 2023 profile
Not registered as user
Name:
Heike Wehrheim
Affiliation:
University of Oldenburg
Contributions
2025
ICSE
Author of Cooperative Software Verification via Dynamic Program Splitting within the Research Track-track
2024
ISSTA
Committee Member in Program Committee within the Technical Papers-track
ICST
PC Member in Program Committee within the Research Papers-track
Formal Methods for Incorrectness
Author of A Reachability Logic for a Weak Memory Model with Promises within the Incorrectness-track
VMCAI
Author of A Fully Verified Persistency Library within the VMCAI 2024-track
2023
TAP
Committee Member in Program Committee within the Research Papers-track
ICST
Committee Member in Program Committee within the Research Papers-track
2022
ASE
Author of Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? within the Research Papers-track
Author of Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse bugs? within the Artifact Evaluation-track
Share
x
Thu 8 May 05:25
