Concepedia

Heike Wehrheim

HW

32

Publications

951

Citations

16

H-Index

1994

Active since

Affiliations

Paderborn University(Current)

Carl von Ossietzky Universität Oldenburg

University of Sheffield

University of Surrey

University of Augsburg

Heike Wehrheim is an author at Paderborn University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationSystem SoftwareSoftware TestingSoftware Engineering

Publications per year

1994–2022

32

Publications

32

Jass — Java with Assertions1 1This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1.

Detlef Bartetzko, Clemens Fischer, Michael Möller et al. · Electronic Notes in Theoretical Computer Science · 2001 · 186 citations · Full text

Software Maintenance, Engineering, Verification +25

The Challenges of Building Advanced Mechatronic Systems

Wilhelm Schäfer, Heike Wehrheim · 2007 · 101 citations

Engineering, Software Engineering, Advanced Design +22

Mechanically verified proof obligations for linearizability

John Derrick, Gerhard Schellhorn, Heike Wehrheim · ACM Transactions on Programming Languages and Systems · 2011 · 55 citations

Engineering, Verification, Concurrent Implementations +17

Algorithm selection for software validation based on graph kernels

Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs et al. · Automated Software Engineering · 2020 · 46 citations · Full text

Software Maintenance, Engineering, Machine Learning +22

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures

Gerhard Schellhorn, John Derrick, Heike Wehrheim · ACM Transactions on Computational Logic · 2014 · 44 citations

Linearizability Proofs, Engineering, Verification +19

Rows per page

1–5 of 32