Scholar
Heike Wehrheim
Google Scholar ID: EmnW98wAAAAJ
University of Oldenburg
Formal methods
software verification
weak memory models
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
4,340
H-index
37
i10-index
112
Publications
20
Co-authors
36
list available
Publications
4 items
jMT: Testing Correctness of Java Memory Models (Extended Version)
2026
Cited
0
Towards Proving Liveness on Weak Memory (Extended Version)
2026
Cited
0
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
2025
Cited
0
Can ChatGPT support software verification?
Fundamental Approaches to Software Engineering · 2023
Cited
15
Co-authors
8 total
Brijesh Dongol
University of Surrey
Marie-Christine Jakobs
LMU München
Arend Rensink
Professor in Computer Science, University of Twente
Arnab Sharma
University of Paderborn
Helen Treharne
Professor, Surrey Centre for Cyber Security
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Eyke Hüllermeier
Professor of Computer Science, Paderborn University
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
