Heike Wehrheim

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 113

Top Venues

CoRR

Software Engineering

Formal Aspects Comput.

SEFM

University of Hildesheim, Germany (PHD)

Education History

University of Hildesheim, Germany

PHD

Publications

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel program analysis on path ranges. Sci. Comput. Program. 238 (2024)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel Program Analysis on Path Ranges. CoRR (2024)
Christian Janßen, Cedric Richter, Heike Wehrheim
Can ChatGPT support software verification? FASE (2024)
Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. Formal Aspects Comput. 36 (1) (2024)
Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
A Fully Verified Persistency Library. VMCAI (2) (2024)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. Software Engineering (2024)
Jan Haltermann, Heike Wehrheim
Exchanging information in cooperative software validation. Softw. Syst. Model. 23 (3) (2024)
Cedric Richter, Heike Wehrheim
On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors. Software Engineering (2024)
Florian Dyck, Cedric Richter, Heike Wehrheim
Robustness Testing of Software Verifiers. SEFM (2023)
Lara Bargmann, Heike Wehrheim
View-Based Axiomatic Reasoning for PSO. TASE (2023)
Lara Bargmann, Heike Wehrheim
Lifting the Reasoning Level in Generic Weak Memory Verification. iFM (2023)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version). CoRR (2023)
Lara Bargmann, Heike Wehrheim
View-Based Axiomatic Reasoning for PSO (Extended Version). CoRR (2023)
Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim
Property-Driven Black-Box Testing of Numeric Functions. Software Engineering (2023)
Felix Pauck, Heike Wehrheim
Jicer: Slicing Android Apps for Cooperative Analysis. Software Engineering (2023)
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
Reasoning About Promises in Weak Memory Models with Event Structures. FM (2023)
Nicola Thoben, Jan Haltermann, Heike Wehrheim
Timeout Prediction for Software Analyses. SEFM (2023)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Ranged Program Analysis via Instrumentation. SEFM (2023)
Lara Bargmann, Heike Wehrheim
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version). CoRR (2023)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel Program Analysis via Range Splitting. FASE (2023)
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Variable Misuse Detection: Software Developers versus Neural Bug Detectors. Software Engineering (2023)
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering (2023)
Christian Janßen, Cedric Richter, Heike Wehrheim
Can ChatGPT support software verification? CoRR (2023)
Cedric Richter, Heike Wehrheim
How to Train Your Neural Bug Detector: Artificial vs Real Bugs. ASE (2023)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
Rely-Guarantee Reasoning for Causally Consistent Shared Memory. CAV (1) (2023)
Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim
Unifying Operational Weak Memory Verification: An Axiomatic Approach. ACM Trans. Comput. Log. 23 (4) (2022)
Cedric Richter, Heike Wehrheim
TSSB-3M: Mining single statement bugs at massive scale. CoRR (2022)
Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. CONCUR (2022)
Cedric Richter, Heike Wehrheim
TSSB-3M: Mining single statement bugs at massive scale. MSR (2022)
Jan Haltermann, Heike Wehrheim
Information Exchange Between Over- and Underapproximating Software Analyses. SEFM (2022)
Cedric Richter, Heike Wehrheim
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes. CoRR (2022)
Jan Haltermann, Heike Wehrheim
CoVEGI: Cooperative Verification via Externally Generated Invariants. Software Engineering (2022)
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE (2022)
Dirk Beyer, Thomas Lemberger, Jan Haltermann, Heike Wehrheim
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE (2022)
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. 18 (3) (2022)
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version). CoRR (2022)
Jan Haltermann, Heike Wehrheim
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. ICST (2022)
Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim
Property-Driven Testing of Black-Box Functions. FormaliSE@ICSE (2022)
Cedric Richter, Heike Wehrheim
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. ICST (2022)
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. J. Autom. Reason. 66 (1) (2022)
Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim
MLCHECK- Property-Driven Testing of Machine Learning Classifiers. ICMLA (2021)
Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9 (2021)
Cedric Richter, Heike Wehrheim
DeepMutants: Training neural bug detectors with contextual mutations. CoRR (2021)
Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim
MLCheck- Property-Driven Testing of Machine Learning Models. CoRR (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. 33 (4-5) (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC (2021)
Jordi Cabot, Heike Wehrheim, Eerke A. Boiten
Editorial. Formal Aspects Comput. 33 (6) (2021)
Jan Haltermann, Heike Wehrheim
CoVEGI: Cooperative Verification via Externally Generated Invariants. FASE (2021)
Felix Pauck, Heike Wehrheim
Jicer: Simplifying Cooperative Android App Analysis Tasks. SCAM (2021)
Jürgen König, Heike Wehrheim
On the Correctness Problem for Serializability. ICTAC (2021)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
On Strong Observational Refinement and Forward Simulation. CoRR (2021)
Heike Wehrheim
On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs. CoRR (2021)
Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim
Editorial. Formal Aspects Comput. 33 (6) (2021)
Felix Pauck, Heike Wehrheim
Cooperative Android App Analysis with CoDiDroid. Software Engineering (2021)
Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
Algorithm selection for software validation based on graph kernels. Autom. Softw. Eng. 27 (1) (2020)
Holger Karl, Dennis Kundisch, Friedhelm Meyer auf der Heide, Heike Wehrheim
A Case for a New IT Ecosystem: On-The-Fly Computing. Bus. Inf. Syst. Eng. 62 (6) (2020)
Arnab Sharma, Heike Wehrheim
Testing Monotonicity of Machine Learning Models. CoRR (2020)
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR (2020)
Jan Haltermann, Heike Wehrheim
Cooperative Verification via Collective Invariant Generation. CoRR (2020)
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE (2020)
Cedric Richter, Heike Wehrheim
Attend and Represent: A Novel View on Algorithm Selection for Software Verification. ASE (2020)
Arnab Sharma, Heike Wehrheim
Automatic Fairness Testing of Machine Learning Models. ICTSS (2020)
Arnab Sharma, Heike Wehrheim
Higher income, larger loan? monotonicity testing of machine learning models. ISSTA (2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
Owicki-Gries Reasoning for C11 RAR. ECOOP (2020)
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Modularising Verification Of Durable Opacity. CoRR (2020)
Steffen Beringer, Heike Wehrheim
Consistency Analysis of AUTOSAR Timing Requirements. ICSOFT (2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Felix Pauck, Eric Bodden, Heike Wehrheim
Reproducing Taint-Analysis Results with ReproDroid. SE (2020)
Dirk Beyer, Heike Wehrheim
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. ISoLA (1) (2020)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Verifying C11 programs operationally. PPoPP (2019)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM (2019)
Alessandra Russo, Andy Schürr, Heike Wehrheim
Editorial. Formal Aspects Comput. 31 (5) (2019)
Jürgen König, Heike Wehrheim
Data Independence for Software Transactional Memory. NFM (2019)
Dirk Beyer, Heike Wehrheim
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR (2019)
Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. IM (2019)
Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
Editorial. Formal Aspects Comput. 31 (1) (2019)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM (2019)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying Correctness of Persistent Concurrent Data Structures. FM (2019)
Cedric Richter, Heike Wehrheim
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). TACAS (3) (2019)
Arnab Sharma, Heike Wehrheim
Testing Balancedness of ML Algorithms. SE/SWM (2019)
Felix Pauck, Heike Wehrheim
Together strong: cooperative Android app analysis. ESEC/SIGSOFT FSE (2019)
Arnab Sharma, Heike Wehrheim
Testing Machine Learning Algorithms for Balanced Data Usage. ICST (2019)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
Reducer-based construction of conditional verifiers. ICSE (2018)
Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. SEFM (2018)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10 (1) (2018)
Felix Pauck, Eric Bodden, Heike Wehrheim
Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE (2018)
Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Verifying C11 Programs Operationally. CoRR (2018)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. 30 (5) (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC (2018)
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
Making Linearizability Compositional for Partially Ordered Executions. IFM (2018)
Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. CoRR (2018)
Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim
Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR (2018)
Felix Pauck, Eric Bodden, Heike Wehrheim
Do Android Taint Analysis Tools Keep their Promises? CoRR (2018)
Manuel Töws, Heike Wehrheim
Information Flow Certificates. ICTAC (2018)
Manuel Töws, Heike Wehrheim
Policy Dependent and Independent Information Flow Analyses. ICFEM (2017)
Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Proof-Carrying Hardware via Inductive Invariants. ACM Trans. Design Autom. Electr. Syst. 22 (4) (2017)
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
Predicting rankings of software verification tools. SWAN@ESEC/SIGSOFT FSE (2017)
Marie-Christine Jakobs, Heike Wehrheim
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
Predicting Rankings of Software Verification Competitions. CoRR (2017)

Heike Wehrheim.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Heike Wehrheim