Abschlussarbeiten (Bachelor, Master, Diplom)

Der Lehrstuhl für Softwaretechnik (Prof. Dr. W. Reif) bietet eine Reihe interessanter Abschlussarbeiten an.

Software- und Systemsicherheit | Mechatronik und Robotik | Organic Computing | Formale Methoden | Modellbasierte Sicherheitsanalyse (Safety) | Softwareengineering allgemein

Bereich Software- und Systemsicherheit:

1. Evaluation von Informationsflüssen in mobilen Applikationen
   (Bachelorarbeit)
   Ansprechpartner: Kuzman Katkalov
2. Implementierung sicherer Anwendungssysteme bezüglich Informationsfluss für Android und Java EE
   (Master-/Diplomarbeit)
   Ansprechpartner: Kuzman Katkalov
3. Verifikation von Modelltransformationen
   (Master-/Diplomarbeit)
   Ansprechpartner: Kurt Stenzel
4. Semantiktreue Programmtransformationen
   (Master-/Diplomarbeit)
   Ansprechpartner: Kurt Stenzel
5. Optimierung von Java Programmen durch destruktive Operationen
   (Master-/Diplomarbeit)
   Ansprechpartner: Kurt Stenzel

Bereich Software in Mechatronik und Robotik:

1. Strategien zur Planung kollisionsfreier Roboterbahnen
   (Masterarbeit)
   Ansprechpartner: Andreas Schierl
2. Grafische Bearbeitung einer datenflussbasierten Sprache für die Roboterprogrammierung
   (Masterarbeit)
   Ansprechpartner: Michael Vistein

Bereich Organic Computing:

1. Strategisches Auftreten von Agenten an einem trust-sensitiven elektronischen Markt
   (Bachelorarbeit)
   Ansprechpartner: Gerrit Anders
2. Verbindung eines Mechanismus zur Frequenzstabilisierung mit Kraftwerksfahrplänen
   (Bachelorarbeit)
   Ansprechpartner: Gerrit Anders
3. Identifizierung von Verhaltensmustern elektrischer Verbraucher
   (Bachelorarbeit)
   Ansprechpartner: Florian Siefert

Bereich Formale Methoden

1. Integration eines B-Baum-basierten Index in ein Modell von UBIFS
   (Bachelor-/Master-/Diplomarbeit)
   Ansprechpartner: Dominik Haneberg

2. Nachweis der Korrektheit der UBIFS-Dateisystemoperationen bei ungeplanten Unterbrechungen
   (Master-/Diplomarbeit)
   Ansprechpartner: Dominik Haneberg

3. Spezifikation von Lock-freien Algorithmen
   (Bachelor-/Master-/Diplomarbeit)
   Ansprechpartner: Bogdan Tofan

Bereich Softwareengineering allgemein:

1. Visualisierung und Simulation abstrakter Systemmodelle und Datenstrukturen
   (Bachelorarbeit)
   Ansprechpartner: Gidon Ernst

2. Software-Engineering mit Scala (verschiedene Themen: Refactoring, Testfallgenerierung, etc.)
   (Bachelorarbeiten)
   Ansprechpartner: Gerhard Schellhorn Gidon Ernst

3. KIV-Erweiterungen mit Scala
   (Bachelorarbeiten)
   Ansprechpartner: Gerhard Schellhorn Gidon Ernst

4. Generierung von C-Code aus formalen Flash-Dateisystem Modellen
   (Master-/Diplomarbeit)
   Ansprechpartner: Gidon Ernst

5. Visualisierung von Lock-freien Algorithmen
   (Bachelor-/Master-/Diplomarbeit)
   Ansprechpartner: Bogdan Tofan