Department of Computing Science  (» Postal address)

Contact

 Ulhornsweg 84 - Room A02 3-339

Lara Bargmann

Lectures

Lectures

Winter term 2023 / 2024

Publications

  • [inproceedings] bibtex | Go to document Go to document
    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} }
  • [inproceedings] bibtex | Go to document Go to document
    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} }
  • [inproceedings] bibtex | Go to document Go to document
    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, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967, 2023.
    doi: 10.48550/ARXIV.2301.07967
    @article{DBLP:journals/corr/abs-2301-07967,
      author = {Lara Bargmann and Heike Wehrheim},
      title = {View-Based Axiomatic Reasoning for {PSO} (Extended Version)},
      journal = {CoRR},
      volume = {abs/2301.07967},
      year = {2023},
      url = {https://doi.org/10.48550/arXiv.2301.07967},
      doi = {10.48550/ARXIV.2301.07967},
      eprinttype = {arXiv},
      eprint = {2301.07967},
      timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2301-07967.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, 2023.
    doi: 10.48550/ARXIV.2309.01433
    @article{DBLP:journals/corr/abs-2309-01433,
      author = {Lara Bargmann and Heike Wehrheim},
      title = {Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)},
      journal = {CoRR},
      volume = {abs/2309.01433},
      year = {2023},
      url = {https://doi.org/10.48550/arXiv.2309.01433},
      doi = {10.48550/ARXIV.2309.01433},
      eprinttype = {arXiv},
      eprint = {2309.01433},
      timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2309-01433.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 (Extended Version)" CoRR, vol. abs/2211.16330, 2022.
    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}

Theses

  • [article] bibtex
    L. Bargmann, "Euklidische Zahlringe - Über einen Satz von P.J. Weinberger" , 2021.
    @Article{Bargmann2021,
      author = {Lara Bargmann},
      title = {Euklidische Zahlringe - Über einen Satz von P.J. Weinberger},
      year = {2021},
      }
  • [article] bibtex
    L. Bargmann, "Euklidische Minima algebrischer Zahlkörper" , 2018.
    @Article{Bargmann2018,
      author = {Lara Bargmann},
      title = {Euklidische Minima algebrischer Zahlkörper},
      year = {2018},
      }
(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page