Lara Bargmann

According to our database, Lara Bargmann authored at least 10 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards Proving Liveness on Weak Memory (Extended Version).

Lara Bargmann, Heike Wehrheim

CoRR, February, 2026

Towards Proving Liveness on Weak Memory.

Lara Bargmann, Heike Wehrheim

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

View-based axiomatic reasoning for the weak memory models PSO and SRA.

Lara Bargmann, Heike Wehrheim

Sci. Comput. Program., 2025

2024

Unifying Weak Memory Verification Using Potentials.

Lara Bargmann, Brijesh Dongol, Heike Wehrheim

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version).

Lara Bargmann, Heike Wehrheim

CoRR, 2023

View-Based Axiomatic Reasoning for PSO (Extended Version).

Lara Bargmann, Heike Wehrheim

CoRR, 2023

View-Based Axiomatic Reasoning for PSO.

Lara Bargmann, Heike Wehrheim

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Lifting the Reasoning Level in Generic Weak Memory Verification.

Lara Bargmann, Heike Wehrheim

Proceedings of the iFM 2023 - 18th International Conference, 2023

Reasoning About Promises in Weak Memory Models with Event Structures.

Heike Wehrheim, Lara Bargmann, Brijesh Dongol

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version).

Heike Wehrheim, Lara Bargmann, Brijesh Dongol

CoRR, 2022