Lara Bargmann

According to our database, Lara Bargmann authored at least 6 papers between 2022 and 2023.

Collaborative distances:

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

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