Abschlussarbeiten

Bachelorarbeiten

Offene Bachelorarbeiten

• Bei Interesse bitte frühzeitig melden.

Abgeschlossene Bachelorarbeiten

• Lukas Tobias Röhling (2021): Strukturierte Code-Generierung aus Kontrollflussautomaten
• Mathis Weiß (2021): Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen
• Jamil Osmanov (2021): Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J
• Nicolas Gottwald (2020): Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien

Masterarbeiten

Offene Masterarbeiten

• Bei Interesse bitte frühzeitig melden.

Abgeschlossene Masterarbeiten

• Tobias Vente (2021): Effiziente Testfallgenerierung für C-Programme durch Testability-Transformationen
• David Kucserka (2021): Entwicklung eines automatisierten Testwerkzeugs für Enterprise Applications
• Adrian Bingener (2021): Entwurf und Implementierung eines experimentellen SAT-Solving-Frameworks zur automatisierten Analyse komplexer Softwaresysteme
• Robert Müller (2020): Regelbasiertes Mischen von Programmvarianten

Vorlage

Download: LaTeX Vorlage für Abschlussarbeiten an der Professur MBE

Um LaTeX-Dokumente zu bearbeiten und zu setzen, empfehlen wir MiKTeX (darin ist der Editor TeXworks enthalten).

Eine Übersicht über vergangene Abschlussarbeiten finden Sie auf der alten Webseite des Lehrstuhls PI.