Heike Wehrheim

Not registered as user yet

Name: Heike Wehrheim

Country: Germany

Affiliation: Paderborn University

Personal website: https://www.uni-paderborn.de/en/person/573/

Contributions

SOAP 2021Committee Member in Program Committee within the SOAP 2021-track
ASE 2020Author of Attend and Represent: A Novel View on Algorithm Selection for Software Verification within the Research Papers-track
ICST 2021Committee Member in Program Committee within the Research Papers-track
Journal-First Track Chair in Program Chairs within the Journal-First Papers-track
Journal-First Track Chair in Organizing Committee
ISSTA 2020Author of Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models within the Technical Papers-track
ECOOP 2020Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track
Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track
Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
SPLASH 2020Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
PPoPP 2019Author of Verifying C11 Programs Operationally within the Main Conference-track
FASE 2019Session Chair of Software Verification II (part of FASE 2019)
Committee Member in Program Committee within the FASE 2019-track
ETAPS 2019Author of PeSCo: Predicting Sequential Combinations of Verifiers within the Posters-track
Author of ETAPS Steering committee meeting within the Social-track
ESEC/FSE 2018Author of Do Android Taint Analysis Tools Keep Their Promises? within the Research Papers-track
* ICSE 2018 *Author of Reducer-Based Construction of Conditional Verifiers within the Technical Papers -track