Abschlussarbeiten

Bachelorarbeiten

Offene Bachelorarbeiten

• Bei Interesse bitte frühzeitig melden.

Abgeschlossene Bachelorarbeiten

• Thomas Lang (2021): Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software
• 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

Vorlagen

• LaTeX Vorlage für Abschlussarbeiten an der Professur MBE
• PowerPoint Vorlage für Abschlussvorträge an der Professur MBE

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