Lara Bargmann

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Hybrid Particle Swarm Optimization

Automated Reasoning

Top Venues

Publications

Lara Bargmann, Heike Wehrheim
View-Based Axiomatic Reasoning for PSO. TASE (2023)
Lara Bargmann, Heike Wehrheim
Lifting the Reasoning Level in Generic Weak Memory Verification. iFM (2023)
Lara Bargmann, Heike Wehrheim
View-Based Axiomatic Reasoning for PSO (Extended Version). CoRR (2023)
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
Reasoning About Promises in Weak Memory Models with Event Structures. FM (2023)
Lara Bargmann, Heike Wehrheim
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version). CoRR (2023)
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version). CoRR (2022)