Institut für Software & Systems Engineering

  1. Universität
  2. Fakultäten
  3. Fakultät für Angewandte Informatik
  4. Institut für Software & Systems Engineering
  5. Lehrstühle und Professuren
  6. Softwaretechnik
  7. Team
  8. Stefan Bodenmüller

Dr. Stefan Bodenmüller

Wissenschaftlicher Mitarbeiter
Institut für Software & Systems Engineering
Telefon: +49 821 598 2183
E-Mail:
Raum: 3014 (N)
Adresse: Universitätsstraße 6a, 86159 Augsburg

Lebenslauf

2022: Promotion zum Thema "Caching, Crashing & Concurrency - Verification under Adverse Conditions"
2016 - heute: Wissenschaftlicher Mitarbeiter am Lehrstuhl Softwaretechnik an der Universität Augsburg
2014 - 2016: Master-Studium Informatik an der Universität Augsburg
2011 - 2014: Bachelor-Studium in Wirtschaftsinformatik an der Unviersität Augsburg

 

Forschungsschwerpunkte

Folgende Forschungsthemen stehen für mich im Vordergrund:

  • Anwenden von Formalen Methoden zur Entwicklung von verifizierten Softwaresystemen
  • Korrekte Codegenerierung aus abstrakten Spezifikationen
  • Korrektheit nebenläufiger Algorithmen
  • Interaktives und automatisches Theorembeweisen

 

In folgenden Bereichen und Projekten bin ich beteiligt:

Lehrveranstaltungen

 

  • Formale Methoden im Software Engineering
  • Softwaretechnik
  • Softwareprojekt
  • Seminar zu Software- und Systems Engineering (Master)
  • Seminar zu Software- und Systems Engineering (Bachelor)

Veröffentlichungen

2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2018 | 2017

2025

Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2025. Verification of forward simulations with thread-local, step-local proof obligations. Science of Computer Programming 241, 103227. DOI: 10.1016/j.scico.2024.103227
PDF | BibTeX | RIS | DOI

2024

Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn and Heike Wehrheim. 2024. A fully verified persistency library. Lecture Notes in Computer Science 14500, 26-47. DOI: 10.1007/978-3-031-50521-8_2
PDF | BibTeX | RIS | DOI

2023

Stefan Bodenmüller. 2023. Caching, crashing & concurrency - verification under adverse conditions. Dissertation, Universität Augsburg. .
PDF | BibTeX | RIS

Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2023. Refinement and separation: modular verification of wandering trees. Lecture Notes in Computer Science 14300, 214-234. DOI: 10.1007/978-3-031-47705-8_12
PDF | BibTeX | RIS | DOI

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich and Wolfgang Reif. 2023. Separating separation logic – modular verification of red-black trees. Lecture Notes in Computer Science 13800, 129-147. DOI: 10.1007/978-3-031-25803-9_8
PDF | BibTeX | RIS | DOI

Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2023. Thread-local, step-local proof obligations for refinement of state-based concurrent systems. Lecture Notes in Computer Science 14010, 70-87. DOI: 10.1007/978-3-031-33163-3_6
PDF | BibTeX | RIS | DOI

2022

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich and Wolfgang Reif. 2022. Software & system verification with KIV. Lecture Notes in Computer Science 13360, 408-436. DOI: 10.1007/978-3-031-08166-8_20
PDF | BibTeX | RIS | DOI

Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2022. Verification of crashsafe caching in a virtual file system switch. Formal Aspects of Computing 34, 1, 2. DOI: 10.1145/3523737
PDF | BibTeX | RIS | DOI

2021

Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich and Wolfgang Reif. 2021. Flashix: modular verification of a concurrent and crash-safe flash file system. Lecture Notes in Computer Science 12750, 239-265. DOI: 10.1007/978-3-030-76020-5_14
PDF | BibTeX | RIS | DOI

2020

Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler and Wolfgang Reif. 2020. Adding concurrency to a sequential refinement tower. Lecture Notes in Computer Science 12071, 6-23. DOI: 10.1007/978-3-030-48077-6_2
PDF | BibTeX | RIS | DOI

Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2020. Modular integration of crashsafe caching into a verified virtual file system switch. Lecture Notes in Computer Science 12546, 218-236. DOI: 10.1007/978-3-030-63461-2_12
PDF | BibTeX | RIS | DOI

2018

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller and Wolfgang Reif. 2018. Symbolic execution for a clash-free subset of ASMs. Science of Computer Programming 158, 21-40. DOI: 10.1016/j.scico.2017.08.014
PDF | BibTeX | RIS | DOI

2017

Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2017. Modular verification of order-preserving write-back caches. Lecture Notes in Computer Science 10510, 375-390. DOI: 10.1007/978-3-319-66845-1_25
PDF | BibTeX | RIS | DOI

© Institut für Software & Systems Engineering

Institut für Software & Systems Engineering

Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakultät für Angewandte Informatik an der Universität Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre ermöglicht es die weitere Entwicklung des relevanten Kursangebots von Fakultät und Universität.

Suche