伟德国际_伟德国际1946$娱乐app游戏

图片

Dr. Stefan Bodenmüller

Senior Researcher
Institute for Software & Systems Engineering
Phone: +49 821 598 2183
Email:
Room: 3014 (N)
Address: Universit?tsstra?e 6a, 86159 Augsburg

Curriculum Vitae

2022: Doctorate on the topic "Caching, Crashing & Concurrency - Verification under Adverse Conditions"
Since 2016: Researcher at the Chair of Software Engineering at the 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg
2014 - 2016: Master in Computer Science at the 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg
2011 - 2014: Bachelor in Economic Computer Science at the 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg

?

Research Interests

I focus on the following research topics:?

  • Application of formal methods to the construction of verified software
  • Correct translation of abstract specifications to executable code
  • Correctness of concurrent algorithms
  • Interactive and automated theorem proving

?

I am involved in the following research areas and projects:

Courses

?

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

Publications

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

2024

Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn and Heike Wehrheim. 2024. A fully verified persistency library. 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.
PDF | BibTeX | RIS

Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2023. Refinement and separation: modular verification of wandering trees. 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. 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. 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. 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. 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. 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. 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. 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. 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. DOI: 10.1007/978-3-319-66845-1_25
PDF | BibTeX | RIS | DOI

Institute for Software & Systems Engineering

The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.

Search