L. Bargmann and H. Wehrheim, "View-based axiomatic reasoning for the weak memory models PSO and SRA" Sci. Comput. Program. vol. 240, p. 103225.
doi: 10.1016/J.SCICO.2024.103225
@article{DBLP:journals/scp/BargmannW25,
author = {Lara Bargmann and Heike Wehrheim},
title = {View-based axiomatic reasoning for the weak memory models {PSO} and {SRA}},
journal = {Sci. Comput. Program.},
volume = {240},
pages = {103225},
year = {2025},
url = {https://doi.org/10.1016/j.scico.2024.103225},
doi = {10.1016/J.SCICO.2024.103225},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BargmannW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
L. Bargmann, B. Dongol, and H. Wehrheim, "Unifying Weak Memory Verification Using Potentials" in Proc. Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, 2024.
doi: 10.1007/978-3-031-71162-6_27
@inproceedings{DBLP:conf/fm/BargmannDW24,
author = {Lara Bargmann and Brijesh Dongol and Heike Wehrheim},
editor = {Andr{\'{e}} Platzer and Kristin Yvonne Rozier and Matteo Pradella and Matteo Rossi},
title = {Unifying Weak Memory Verification Using Potentials},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {519--537},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_27},
doi = {10.1007/978-3-031-71162-6\_27},
timestamp = {Mon, 09 Dec 2024 22:46:03 +0100},
biburl = {https://dblp.org/rec/conf/fm/BargmannDW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
H. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning About Promises in Weak Memory Models with Event Structures" in Proc. Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-27481-7_17
@inproceedings{DBLP:conf/fm/WehrheimBD23,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker},
title = {Reasoning About Promises in Weak Memory Models with Event Structures},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {282--300},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_17},
doi = {10.1007/978-3-031-27481-7\_17},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WehrheimBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
L. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification" in Proc. iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-47705-8_10
@inproceedings{DBLP:conf/ifm/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Paula Herber and Anton Wijs},
title = {Lifting the Reasoning Level in Generic Weak Memory Verification},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {175--192},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_10},
doi = {10.1007/978-3-031-47705-8\_10},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
L. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO" in Proc. Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-35257-7_17
@inproceedings{DBLP:conf/tase/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Cristina David and Meng Sun},
title = {View-Based Axiomatic Reasoning for {PSO}},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium, {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {286--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_17},
doi = {10.1007/978-3-031-35257-7\_17},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
L. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)" CoRR, vol. abs/2309.01433.
doi: 10.48550/ARXIV.2309.01433
H. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)" CoRR, vol. abs/2211.16330.
doi: 10.48550/ARXIV.2211.16330
@article{DBLP:journals/corr/abs-2211-16330,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
title = {Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)},
journal = {CoRR},
volume = {abs/2211.16330},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16330},
doi = {10.48550/ARXIV.2211.16330},
eprinttype = {arXiv},
eprint = {2211.16330},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
