Abschlussarbeiten

Zum Werdegang eines jeden Studierenden gehört es zum Ende seines/ihres Studiums eine Abschlussarbeit in Form einer Bachelor- oder Masterarbeit anzufertigen. Die folgenden Themen sind am Lehrstuhl für Software Engineering zur Zeit ausgeschrieben, werden bearbeitet oder wurden erfolgreich beendet. Bei Interesse wenden Sie sich jeweils direkt an den/die betreuenden Mitarbeiter/in.

Offene Abschlussarbeitsthemen

Eine Liste offener Abschlussarbeiten können finden sie unter folgendem Link.
Demnächst erfolgt eine Aktualisierung der Themen auf dieser Seite. Sollte Interesse an einer Abschlussarbeit bestehen, wenden Sie sich gerne an Prof. Frank Ortmeier.


Aktuell zugewiesene Abschlussarbeiten

Die Liste wird demnächst aktualisiert.


Betreute Abschlussarbeiten aus den Vorjahren

2020

Kühne, Maximilian

Automated Collision-free Tasksequencing for Industrial Robots Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2020.

Abstract | Links | BibTeX

Klockmann, Maximilian

MWMA-SLAM: Manhattan-World-Multi-Agent-SLAM Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2020.

Abstract | Links | BibTeX

2019

Kirchheim, Konstantin

Self-Assessment of Visual Recognition Systems based on Attribution Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2019.

Abstract | Links | BibTeX

2018

Schott, Kevin Michael

Extraktion relevanter API-spezifischer Informationen zur automatischen Korrektur von Softwarefehlern Abschlussarbeit

Otto-von-Guericke-Unviersität Magdeburg, 2018.

Abstract | BibTeX

2017

Veera, Balaji Satya Pradeep

Multi-Objective Issue Tracking Framework Abschlussarbeit

Otto-von-Guericke-Unviersität Magdeburg, 2017.

Abstract | BibTeX

Eiserloh, Matthias

Semantische Suche für automatische Fehlerkorrekturen im objektorientierten Paradigma Abschlussarbeit

Otto-von-Guericke Universität Magdeburg, 2017.

Links | BibTeX

Bedau, Ludwig

Modellbasierte Sicherheitsanalyse eines Bahnhofsstellwerks Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2017.

Abstract | Links | BibTeX

Wehmeier, Leon

Konzeption einer Architektur für (Big-)Data-Analysen im Industrie 4.0-Kontext Abschlussarbeit

2017.

BibTeX

2016

Krolikowski, Dariusz

Einfluss unterschiedlicher Kommentararten auf die Lesbarkeit des Quellcodes Abschlussarbeit

Otto-von-Guericke Universität Magdeburg, 2016.

Links | BibTeX

Anders, Anton

Indoor-Positionsbestimmung mit Hilfe von Bluetooth-Low-Energy-Beacons und Pedestrian Dead Reckoning Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2016.

Links | BibTeX

Klockmann, Maximilian

Analyse von Crowd-Simulation Algorithmen beim Durchqueren von Engstellen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2016.

Links | BibTeX

2015

Bahl, Benedikt

Konzepte zur Optimierung des Betriebshofmanagements mit pervasiven Assistenzsystemen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX

Hamannn, Dominik

Kopplung formaler Modelle mit realweltlichen Umgebungsmodellen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Abstract | Links | BibTeX

Heumüller, Robert

Multi-Abstraction Model Based Software Development for Embedded Low-Cost Applications Abschlussarbeit

2015.

Links | BibTeX

Orth, Severin

Trace refinement with reduced interpolant automata for binary programs Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX

Hühne, Patrick

Innenraumlokalisierung von Mobilgeräten mittels Bluetooth LE Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX

Rabeler, Ben

Abstraktion kontinuierlichen Verhaltens zur modellbasierten Sicherheitsanalyse Abschlussarbeit

2015.

Abstract | Links | BibTeX

Dörfler, Stephan

Protokollautomat für die Kommunikation zwischen Ladestation und Elektrofahrzeug Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX

Gonschorek, Tim

A Backward Model Checking Approach with Slicing Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2015.

Abstract | BibTeX

2014

Plauschin, Mathias

Klassifikation latenter Fingerspuren mithilfe von Smartphones Abschlussarbeit

2014.

Links | BibTeX

Fritsch, Michael

Erhöhung von Quellcode-Wartbarkeit durch Entwurfsmusterautomatisierung Abschlussarbeit

2014.

Links | BibTeX

Dietze, Denis

Semantische Veri kation von selbstbeschreibenden Geratekonfi gurationen Abschlussarbeit

2014.

Links | BibTeX

Dittmann, Denny

Visualisierungskomponente für ein Hochspannungs-Gleichstrom-Übertragungs-Netz Überwachungssystem Abschlussarbeit

2014.

Links | BibTeX

Jagla, Tim Benedict

Cross-Platform Remote Control of Web-Based Media Abschlussarbeit

2014.

Abstract | Links | BibTeX

Heumüller, Robert

VECS Dataflow - A SAML Language Extension Allowing Intuitive Creation of Formal Automata Specifications Abschlussarbeit

2014.

Links | BibTeX

2013

Nielebock, Sebastian

Komposition gewöhnlicher Differentialgleichungen mit sicherheitsrelevanten Zustandsautomaten Abschlussarbeit

2013.

Links | BibTeX

Gonschorek, Tim

Methodik zur Abstraktion kontinuierlicher Differentialgleichungen Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2013.

Abstract | Links | BibTeX

2012

Struck, Simon

Approaches to Multi-Objective Optimization of Formal Specifications Abschlussarbeit

2012.

Links | BibTeX

2011

Lipaczewski, Michael

Untersuchung von Prefetching-Strategien in Objekt-relationalen Mappern Abschlussarbeit

2011.

Links | BibTeX