Supervised Diploma / Master / Project / Bachelor Theses
2024
Akshay Arjun. Optimizing SystemC Models: Fault Injection for Enhanced Functional Verification using COSEDA Library. Project Thesis, Hamburg University of Technology, 2024 in progress.
Malte Burmester. Graph Databases for Hardware-Design IR. Bachelor Thesis, Hamburg University of Technology, 2024.
Muhammed Yildiz. Wie verhalten sich verschiedene Optimierungsverfahren auf Benchmarkfunktionen am Beispiel von Hill Climbing, Simulated Annealing und evolutionäre Algorithmen. Bachelor Thesis, University of Bremen, 2024.
Majd Wahbi. Verbesserung der Effizienz von Testprogrammen an einem Flying-Probe-Tester mit Boundary Scan, Hamburg University of Technology, 2024.
Vincent van Gunst. Entwicklung eines automatisierten Prüflingswechsels für Batterie-Management-System-Test, Hamburg University of Technology, 2024.
Hanadi Hussein. Vorhersage der Optimierungsgüte durch Trainieren eines ML-Modells zwischen Landscape-Analyse Eigenschaften und Algorithmuskonfiguration, Hamburg University of Technology, 2024.
Diana Michaelis. Systematic Mapping of Optimisation Algorithms. Bachelor Thesis, Hamburg University of Technology, 2024.
2023
Steffen Janßen. Güte- und effeizienzbasierte Performanz unterschiedlicher bio-inspirierter Verfahren auf klassische Optimierungsprobleme. Bachelor Thesis, University of Bremen, 2023.
Cem Üstün. Konzeption und Realisierung einer Wissensdatenbank für Hardware-Sicherheit. Bachelor Thesis, Hamburg University of Technology,
Danny Cam Hoa Tien. Graph-Database Modeling of an Extended Dataflow Diagram. Project Thesis, Hamburg University of Technology, 2023.
2022
Moritz Orth. Testing of Semantic Web technologies for structuring research data in the context of a project for ML-based static security analysis of C code. Master Thesis, University of Bremen, 2022.
2021
Phillipp Schönemann. Bestimmung von Datenflüssen in Java-basierten Anwendungen für Sicherheitsprüfungen. Bachelor Thesis, University of Bremen, 2021.
Peer Overbeck. Erkennung von Datenschutzrechtsverstößen in Fremdbibliotheken mittels Programmanalyse. Master Thesis, University of Bremen, 2021.
2019
Sven Höper. Extraktion und Prüfung der Laufzeitkonfiguration von JavaEE-Anwendungscontainern. Bachelor Thesis, University of Bremen, 2019.
Norman Lipkow. Statische Extraktion von Zugriffsberechtigungen in Java-basierten Software-Systemen. Bachelor Thesis, University of Bremen, 2019.
Jasper Wiegratz. Sicherheitsgrundlagen von Docker-Images im Kontext der Softwareentwicklung mit DevOps am Beispiel eines Continuous Integration und Delivery Prozesses. Bachelor Thesis, University of Bremen, 2019.
Erik Schmitt. Erstellung partieller Aufrufgraphen von Java-Softwaresystemen. Bachelor Thesis, University of Bremen, 2019.
2018
Tobias Böhnisch. Konzeption und Entwicklung einer datengetriebenen und plattform-übergreifenden Software zur Begleitung von Schülertutorien in der Chemie. Master Thesis, University of Bremen, 2018.
Lasse Künzel. Sichere Verwendung der QT Bibliothek. Bachelor Thesis, University of Bremen, 2018.
Dario Treffenfeld-Mäder. Konzeption und prototypische Entwicklung einer Plattform zur Unterstützung des Programmverstehens der IT-Sicherheit von Anwendungen. Bachelor Thesis, University of Bremen, 2018.
2017
Henning Ziegler. Analyse der Verwendung von Kryptographie-APIs in Java-basierten Anwendungen. Master Thesis, University of Bremen, 2017.
Daniel Tietjen. Validierung eines RBAC-Ecore-OCL-Modells mittels des USE-Tools. Master Thesis, University of Bremen, 2017.
2016
Tobias Peters. Optimierung von statischen Programmanalysen für Android-Applikationen mit Hilfe von Ersatzbibliotheken. Master Thesis, University of Bremen, 2016.
Maximilian Schönborn. Detektion von SharedPreferences-Einträgen in Android Apps mit Hilfe statischer Programmanalyse. Master Thesis, University of Bremen, 2016.
2015
Stefan Gommer. Identifikation von kritischen Informationsflüssen in Android-Anwendungen auf Basis von statischen Programmanalysen. Master Thesis, University of Bremen, 2015.
Sebastian Feldmann. Konzeption und Implementierung einer Eingabeprüfung für Struts-basierte Webanwendungen. Bachelor Thesis, University of Bremen, 2015.
Florian Thomas. Modellierung von Informationen zur Interprozesskommunikation in Android-Anwendungen für Datenflussdiagramme. Bachelor Thesis, University of Bremen, 2015.
Alex Antoni. Darstellung von Ergebnissen statischer Codeanalysen installierter Android APK-Dateien auf dem Gerät des Nutzers. Bachelor Thesis, Universität Bremen, 2015.
2014
Denis Szadkowski. Evaluation eines Werkzeugs zur statischen Analyse von SSL/TLS-Schwachstellen. Bachelor Thesis, University of Bremen, 2014.
Christian Liebig. Sicherheitsanalyse von mobilen Geschäftssanwendungen. Master Thesis, University of Bremen, 2014.
2013
Romi Sorge. Statische Analyse von Android-Applikationen. Master Thesis, University of Bremen, 2013.
Axel Auffarth. Modellierung von Sicherheitsaspekten in Softwarearchitekturen. Master Thesis, University of Bremen, 2013.
2012
Tillmann Runkel. Codetransformationen in Java-Enterprise-Applikationen zur Verbesserung statischer Codeanalysen. Diploma Thesis, University of Bremen, 2012.