8 citations · 10 across the 5 of their papers we have counts for
5 papers
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)
Lara Bargmann, Heike Wehrheim
Weak memory models specify the semantics of concurrent programs on multi-core architectures. Reasoning techniques for weak memory models are often specialized to one fixed model an…
View-Based Axiomatic Reasoning for PSO (Extended Version)
Lara Bargmann, Heike Wehrheim
Weak memory models describe the semantics of concurrent programs on modern multi-core architectures. Reasoning techniques for concurrent programs, like Owicki-Gries-style proof cal…
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes
Cedric Richter, Heike Wehrheim
Real bug fixes found in open source repositories seem to be the perfect source for learning to localize and repair real bugs. However, the absence of large scale bug fix collection…
Proof-Carrying Hardware via IC3
Tobias Isenberg, Heike Wehrheim
Proof-carrying hardware (PCH) is an approach to achieving safety of dynamically reconfigurable hardware, transferring the idea of proof-carrying code to the hardware domain. Curren…
Managing LTL properties in Event-B refinement
Steve Schneider, Helen Treharne, Heike Wehrheim +1
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but addi…