Stefan Bodenmüller

Researcher
Institute for Software & Systems Engineering
Phone: +49 821 598 2183
Email: stefan.bodenmueller@informatik.uni-augsburg.de
Room: 3014 (N)
Address: Universitätsstraße 6a, 86159 Augsburg

Curriculum Vitae

Since 2016: Researcher at the Chair of Software Engineering at the University of Augsburg
2014 - 2016: Master in Computer Science at the University of Augsburg
2011 - 2014: Bachelor in Economic Computer Science at the University of Augsburg

 

Research Interests

I focus on the following research topics: 

  • Application of formal methods to the construction of verified software
  • Interactive and automated theorem proving

 

I am involved in the following research areas and projects:

Courses

Current Term

(applied filters: | Semester: current | Lehrende: Stefan Bodenmüller | Typen: Vorlesung, Vorlesung + Übung, Übung, Seminar)
name semester type
Softwaretechnik WS 2019/20 Vorlesung
Seminar zu Software- und Systems Engineering (Master) WS 2019/20 Seminar
Übung zu Softwaretechnik WS 2019/20 Übung

Former Courses

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

 

 

Publications

Stefan Bodenmüller
2018 | 2017

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
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
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 University 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