Heike Wehrheim
Scholar

Heike Wehrheim

Google Scholar ID: EmnW98wAAAAJ
University of Oldenburg
Formal methodssoftware verificationweak memory models
Google Scholar↗
Citations & Impact
All-time
Citations
4,340
 
H-index
37
 
i10-index
112
 
Publications
20
 
Co-authors
36
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
36 total
Co-author 1
Co-author 1
Brijesh Dongol
Brijesh Dongol
University of Surrey
Marie-Christine Jakobs
Marie-Christine Jakobs
LMU München
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Arend Rensink
Arend Rensink
Professor in Computer Science, University of Twente
Co-author 8
Co-author 8