Lara Bargmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2023–2026
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Towards Proving Liveness on Weak Memory. | Lara Bargmann, Heike Wehrheim |
| 2024 | FM | Unifying Weak Memory Verification Using Potentials. | Lara Bargmann, Brijesh Dongol, Heike Wehrheim |
| 2023 | FM | Reasoning About Promises in Weak Memory Models with Event Structures. | Heike Wehrheim, Lara Bargmann, Brijesh Dongol |
| 2023 | IFM | Lifting the Reasoning Level in Generic Weak Memory Verification. | Lara Bargmann, Heike Wehrheim |
| 2023 | TASE | View-Based Axiomatic Reasoning for PSO. | Lara Bargmann, Heike Wehrheim |