Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version). - Heike Wehrheim; Lara Bargmann; Brijesh Dongol (CoRR, 2022)

Reasoning About Promises in Weak Memory Models with Event Structures. - Heike Wehrheim; Lara Bargmann; Brijesh Dongol (FM, 2023)

Lifting the Reasoning Level in Generic Weak Memory Verification. - Lara Bargmann; Heike Wehrheim (iFM, 2023)

View-Based Axiomatic Reasoning for PSO. - Lara Bargmann; Heike Wehrheim (TASE, 2023)

View-Based Axiomatic Reasoning for PSO (Extended Version). - Lara Bargmann; Heike Wehrheim (CoRR, 2023)

Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version). - Lara Bargmann; Heike Wehrheim (CoRR, 2023)

Unifying Weak Memory Verification Using Potentials. - Lara Bargmann; Brijesh Dongol; Heike Wehrheim (FM (1), 2024)

View-based axiomatic reasoning for the weak memory models PSO and SRA. - Lara Bargmann; Heike Wehrheim (Sci. Comput. Program., 2025)