Department für Informatik  (» Postanschrift)

Kontakt

 Ulhornsweg 84 - Raum A02 3-339

Lara Bargmann

Veröffentlichungen

  • L. Bargmann und 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
  • [inproceedings] bibtex | Dokument aufrufen
    L. Bargmann, B. Dongol, und 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] bibtex | Dokument aufrufen
    H. Wehrheim, L. Bargmann, und 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] bibtex | Dokument aufrufen
    L. Bargmann und 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] bibtex | Dokument aufrufen
    L. Bargmann und 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
  • L. Bargmann und H. Wehrheim, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967.
    doi: 10.48550/ARXIV.2301.07967
  • L. Bargmann und 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, und 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

Abschlussarbeiten

  • [article] bibtex
    L. Bargmann, "Euklidische Zahlringe - Über einen Satz von P.J. Weinberger."
  • [article] bibtex
    L. Bargmann, "Euklidische Minima algebrischer Zahlkörper."
Webmaster (Stand: 20.06.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page