Stefan Bodenmüller

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

Lebenslauf

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
  • Interaktives und automatisches Theorembeweisen

 

In folgenden Bereichen und Projekten bin ich beteiligt:

Lehrveranstaltungen

Aktuelles Semester

(Angewandte Filter: | Semester: aktuelles | Lehrende: Stefan Bodenmüller | Typen: Vorlesung, Vorlesung + Übung, Übung, Seminar)
Name Semester Typ
Softwaretechnik WS 2019/20 Vorlesung
Seminar zu Software- und Systems Engineering (Master) WS 2019/20 Seminar
Übung zu Softwaretechnik WS 2019/20 Übung

 

Frühere Lehrveranstaltungen

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

 

 

Veröffentlichungen

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

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