Hier befindet sich eine Auswahl an Bachelor- und Masterarbeiten aus der Informatik, Wirtschaftsinformatik und den Digitalen Medien.

AG Computergraphik und virtuelle Realität (Gabriel Zachmann)

Die Abschussarbeiten der AG Computergraphik und virtuelle Realität befinden sich unter:

• cgvr.informatik.uni-bremen.de/theses/finishedtheses/index.shtml

AG Multisensorische Interaktive Systeme (Udo Frese)

Die Abschussarbeiten der AG  Multisensorische Interaktive Systeme befinden unter:

• http://www.informatik.uni-bremen.de/ageb/de/AbgeschlosseneDiplomarbeiten

Bachelorarbeiten

A – C

• Ahlering, Kevin: Optimierung von Raycastingalgorithmen mit dynamischen Surface Point Clouds auf der GPU, Gutachter*innen: Gabriel Zachmann und Michael Beetz, Januar 2019,
• Bahr, Max-Phillip: Analyse der Evolution von Bad-Smells in Java-Projekten mithilfe der Repository-Mining-Bibliothek LibVCS4j, Gutachter*innen: Rainer Koschke und Hui Shi, März 2021
• Baykara, Mehmet Ali: Build Interception Through A Compiler Listener, Gutachter*innen: Rainer Koschke und Karsten Hölscher, August 2021
• Becker, Felix Frederick: Development of a Server for Code Smell Data, Gutachter*innen: Rainer Koschke und Hui Shi,  Februar 2020
• Blecker, Moritz: Entwicklung eines mehrbenutzerfähigen Quelltexteditors für SEE, Gutachter*innen: Rainer Koschke und Hui Shi, Januar 2022
• Bonetti, Florian: Entwurf und Implementierung lokaler Interprozesskommunikation für das Fuzzing von Kommunikationsprotokollen am Beispiel von AFLNet und libcoap, Gutachter: Olaf Bergmann und Sebastian Maneth, Februar 2022
• Brenig, Jonas: Lösen von Entscheidungsproblemen endlicher Automaten mittels QBF-Solvern, Gutachter*innen: Thomas Schneider und Thomas Barkowsky, Oktober 2018
• Brüning, Felix: Model Checking eines Stellwerksalgorithmus mit FDR4, Gutachter: Jan Peleska und Rolf Drechsler, Februar 2020
• Coors, Christian: Approximate Computing für Neuronale Netze in selbstfahrenden Autos, Gutachter: Rolf Drechsler und Felix Putze, Februar 2019
• Cordes, Sebastian: Konzeption und praktische Anwendung der Testpyramide bei einer Frontend-Applikation, Gutachter*innen: Christoph Lüth und Sabine Kuske, März 2019

D – G

• Döhl, Kevin: Modellierung einer Softwarearchitekturin Virtual Reality mithilfe der Leap Motion, Gutachter*innen: Rainer Koschke, Gabriel Zachmann, September 2020
• Ertli, Alexander: On the impact of automatic bookmarks for prediting navigation cost through sourcecode, Gutachter*innen:Rainer Koschke und Abir Bouraffa (Uni Hamburg), Dezember 2021
• Fink, Jannis: Low-Level Security Patterns for Android Apps controlling IoT devices, Gutachter*innen: Karsten Sohr und Ute Bormann, Januar 2019
• Franke, Marvin: Eine blockbasierte, domänenspezifische Abfragesprache, Gutachter: Sebastian Maneth und Thomas Schneider, September 2019
• Garbade, Florian: 3-Dimensionale Darstellung von Codeänderungen in Unity, Gutachter: Rainer Koschke und Johannes Schöning, Januar 2020
• Gawenda, Lysander: Virtuelle-Realität-Interaktion in SEE, Gutachter:innen: Rainer Koschke, Hui Shi, Dezember 2024
• Gerhard, Enna: Bi-Kelly-Width: A New Width Measure for Directed Graphs, Gutachter*innen: Sebastian Siebertz und Sabine Kuske, Mai 2021

H – J

• Habenicht, Brice Arnaud: Reduktionen von Entscheidungsproblemen für Graphen auf das Erreichbarkeitsproblem für Petri-Netze, Gutachter*innen: Sabine Kuske und Martin Gogolla, April 2018
• Habermann, Matz Hannek: Statische Bestimmung von Einstiegspunkten in Aufrufgraphen für Unity-Programme, Gutachter: Rainer Koschke und Jan Peleska, Januar 2023
• Hafer, Fabian: Der Algorithmus von Christofides zur Approximation des metrischen TSP, Gutachterinnen: Sabine Kuske, Ute Bormann, März 2021
• Hansen, Tim: Nutzung von Informationsquellen in der Softwaresicherheit, Gutachter*innen: Rainer Koschke, Karsten Sohr, Januar 2021
• Haslop, Tobias: Minimal Depth Sorting Networks, Gutachter: Thomas Schneider und Rüdiger Ehlers, März 2020
• Heyen, Jannik: Entwicklung eines Hidden-Markov-Models zur Rauschunterdrückung bei der Segmentierung vorklassifizierter Farbbilder, Gutachter: Tim Laue und Thomas Schneider, Januar 2019

K

• Kaiser, Alexander: Wie können in Code Cities visualisierte Abläufe beim Programmverstehen unterstützen?, Gutachter*innen: Rainer Koschke, Ute Bormann
• Kettenburg, Svenja: Der Einfluss von 3D-Programmierung und 3D-Druck auf das Interesse von Mädchen an dem Gebiet der Informatik, Gutachter*innen: Iris Bockermann, Ute Bormann, April 2021
• Kleinekathöfer, Jan: Visualisierung von Ontologien zur Unterstutzung von Modulextraktion, Gutachter: Thomas Schneider und Serge Autexier, Dezember 2019
• Klöckner, Jonah: Augmented-Reality als Plattform zur Echtzeitvisualisierung von Algorithmen der Bildverarbeitung, Gutachter: Felix Putze und Udo Frese, Dezember 2019
• Knoll, Guido: Simultane Dokumentation von Forschungsdaten Design und Evaluation eines subtraktiv anpassbaren Dokumentationsverfahrens, Gutachter*innen: Robert Porzel und Ute Bormann, August 2019
• Kipp, Kristof: Ausblenden nicht-aktivierter Transitionen im Petri-Netz-Werkzeug PIPE, Gutachterinnen: Sabine Kuske und Ute Bormann, August 2018
• Koch, Corinna: Ein Algorithmus zum Finden von perfekten Matchings in bipartiten und allgemeinen Graphen, Gutachter*innen: Sabine Kuske und Martin Gogolla, November 2018
• Kramer, Laura: Werkzeugbasierte Modellierung von Brettspielen mit Petri-Netzen am Beispiel von Mühle, Gutachter*innen: Sabine Kuske und Hans-Jörg Kreowski, August 2021
• Krause, Michel: Javadoc-Erkennung mittels Detektor, Gutachter*innen: Rainer Koschke und Hui Shi, November 2019

L – O

• Lehmkuhl, Tom-Eric: Ausgewählte Algorithmen für das Steinerbaumproblem, Gutachter:innen: Sabine Kuske und Hans-Jörg Kreowski, September 2021
• Lux, Daniel: Entwurf und Entwicklung einer Schnittstelle zur Einbindung von Multifunktionssensoren in die SAUL-Abstraktion des Betriebssystems RIOT am Beispiel des Farbsensors APDS9960, Gutachter: Olaf Bergmann und Carsten Bormann, Oktober 2019
• Lange, Matthias: IXL Modelchecking mit nuXmv, Gutachter: Jan Peleska und Rolf Drechsler, Dezember 2019
• Mackenstein, Jan Christian: RGB-Sensormodelle anhand virtueller Umgebungen erlernen, Gutachter: Michael Beetz, Thomas Röfer, Juli 2019
• Mahlstädt, Nils-Janis: Auswahl von Beispiele in interaktiven Code Präsentationen durch strukturelle Programmanalyse, Gutachter: Christoph Lüth und Berthold Hoffmann, Februar 2020
• Masuch, Hannes, Virtuelle Software-Städte annotieren und umgestalten, Gutachter*innen: Rainer Koschke, Rene Weller, Dezember 2020
• Müller, Luca: Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype, Gutachter: Rolf Drechsler und Thomas Röfer, Oktober 2021
• Naber, Carmen: Konzeptionierung und Umsetzung eines adaptiven und mobilen Learning-Content-Management-Systems für Schulen, Gutachter: Rolf Drechsler und Christian Staden, Februar 2019
• Nickelmann, Henrik Axel und Rahman, Angabin: Spatial Manipulation of Ropes: Simulation and Visualisation, Gutachter: Thomas Barkowsky und Udo Frese, Januar 2020

P – Z

• Prock, Niclas: Visualisierung von Warnsignalen – Eine empirische Studie zur Sicherheit mithilfe des Dual-Task-Paradigmas, Gutachter*innen: Robert Porzel, Rainer Koschke, September 2020
• Ringe, Rachel: Entwurf und Implementierung einer Web-basierten Anwendung zur interaktiven Simulation von Algorithmen für das Scheduling von Prozessen, Gutachter*innen: Olaf Bergmann, Ute Bormann, September 2020
• Romann, Jan: Design and Implementation of an IoT Device Description Converter between SDF and WoT TD, Gutachter: Olaf Bergmann, Carsten Bormann, Juli 2022
• Safarha, Amir: Animation der Mimik und Gestik von Unity Charakteren auf Basis von Emotionen, Gutachter:innen: Rainer Koschke und Hui Shi, Januar 2023 (Studiengang Wirtschaftsinformatik)
• Sauer, Dominik: Entwurf und Implementierung einer Scyther-Spezifikation für das C3DC-Profil zur Autorisierung in Constrained Environments, Gutachter: Olaf Bergmann und Carsten Bormann, September 2019
• Scheetz, Björn: Werkzeugbasierte Modellierung von Spielen mit Petrinetzen, Gutachter*innen: Sabine Kuske, Hans-Jörg Kreowski, Oktober 2016
• Schlöter, Jens: Modellierung von Scheduling-Problemen mit zeitbehafteten Petri-Netzen, Gutachter*innen: Sabine Kuske, Rolf Drechsler, September 2016
• Schmutte, Jonas: A Serious Game Helping Android Users to Make Their Devices More Secure, Gutachter: Rainer Malaka, Karsten Sohr, März 2019
• Schönemann, Philipp: Bestimmung von Datenflüssen in Java-basierten Anwendungen für Sicherheitsüberprüfungen, Gutachter: Rainer Koschke, Karsten Sohr, Juni 2021
• Steinhauer, Daniel: Three Dimensional Visualization Of Code Changes In Various Parallel Branches Of Software Repositories In SEE, Gutachter Rainer Koschke, René Weller, Oktober 2022
• Tuschen, Sirin: Datenvisualisierung in KMU — ein qualitativer Vergleich von Dashboard Software, Gutachter: Rainer Koschke, Juni 2022
• Wagner, David: Visualisierung für eine Software-Architekturprüfung in Virtual Reality, Gutachter*innen: Rainer Koschke, Robert Porzel, September 2020
• Weiser, Nico: Modellierung einer Software-Architektur mithilfe zweidimensionaler Strichgesten, Gutachter*nnen: Rainer Koschke, Sabine Kuske, November 2021
• Wick, Maximilian: Visualisierung holistischer Code-Metriken von Code Cities in SEE, Gutachter:innen: Rainer Koschke, Hui Shi, Dezember 2022
• Worm, Simon: Erarbeitung eines metrikbasierten Qualitätsmodells für ERC-20 Token, Gutachter: Rainer Koschke und Andreas Breiter, Januar 2020
• Ziegler, Felix: Knowledge Management for Failure Analysis, Gutachter*innen: Juliane Jarke, Ute Bormann, April 2021

Masterarbeiten

• Bracht, Anika: Automatische Testfallgenerierung mit realitätsnahen Testfällen durch Code-Instrumentierung, April 2018
• Brandt, Tobias: A comparing case study on the formal verication process between implementations in imperative and functional programming languages, September 2018
• Brüning, Felix: Modellgetriebene Generierung von CSP-Code zur Verifikation von Gleisnetzen, Gutachter: Jan Peleska, Christoph Lüth, August 2021
• Dechert, Marcel: Implementation and Evaluation of a Chatbot to Crowdsource Geotagged Images to Detect Mosquito Breeding Sites, April 2019
• Funk, Maurice: Concept-By-Example in EL Knowledge Bases, Juli 2019
• Gerhard, Enna: Solving the Directed Feedback Vertex Set Problem in Theory and Practice, Gutachter: Sebastian Siebertz, Sebastian Maneth, Dezember 2024
• Golubev, Denis: Verwendung neuronaler Netze zur Handverfolgung in OptiTrack, Januar 2020
• Horstmann, Moritz: Long-term analysis and visualization reproducibility of heterogeneous robotic experience data in acontinuously developed knowledge processing service, Januar 2019
• Lando, Billy J.: Extrahieren von Micro-Frontends aus einer monolithischen Frontend Anwendung, Gutachter: Wilhelm Hasselbring und Rainer Koschke, Februar 2022
• Klick, Leon: Entwurf und Implementierung eines LoRaWAN-basierten Sensornetzes für die quantitative Bewertung einer Waldbrandgefahr, Gutachter:innen: Olaf Bergmann, Ute Bormann, August 2021
• Lübken, André: MAC-Schicht Optimierung zur Nutzung eines auf UWB basierenden drahtlosen Kommunikationsnetzwerks innerhalb von Satelliten, Juni 2018
• Manal, Christian: Modellgetriebene Codegenerierung aus SysML-Modellen für das BeagleBone Black, Gutachter*innen: Jan Peleska und Hui Shi, März 2020
• Markhabayeva, Dayana: An Investigation of the Role of Cohesive Identity Chains in Narrative Comprehension, Gutachter: John A. Bateman und Johannes Schöning, August 2021
• Prien, Jan: Design and implementation of advanced features for bounded model checking on UML/OCL models, März 2020
• Schipke, Carsten: Veränderung der Darstellung von Klassen- und Objektdiagrammen in USE durch die Anwendung von Auswahl- und Filteroptionen, Gutachter*innen: Martin Gogolla, Sabine Kuske, Januar 2019
• Schröder, René : Erkennung humanoider Roboter mittels Deformable Part Models, April 2019
• Stellmacher, Carolin: Weight Perception in VR: A Novel Haptic VR Controller with Adaptive Trigger Button Resistance , Februar 2020
• Stöwing, Alexander: Automatisierte Videoanalyse zur Generierung von Referenzdaten für Spiele in der RoboCup Standard Platform League, März 2017
• Thielke, Felix: Eine Deep-Learning-basierte Bildverarbeitung für humanoide Roboter zur Erkennung von Merkmalen auf der Bodenebene, September 2019
• Tietjen, Daniel: Validierung eines RBAC-Ecore-OCL-Modells mittels des USE-Tools, September 2017
• Tietjen, Jil: Symbolische Ausführung eines RISC-V-Prozessors , September 2018
• Walther, Jan Frederick: Deobfuscating JavaScript, Gutachter: Rainer Koschke und Christoph Lüth, Mai 2022
• Weinig, Moritz: Supporting Program Comprehension by Automatic Bookmarks, Gutachter*innen: Rainer Koschke und Oliver Keszöcze, Dezember 2020
• Witt, Stefan: Evaluation von multisensorischen Antizipationshilfen fur Performance Animation in Virtual Reality, Oktober 2019
• Wojcik, Artur: Crowdsourcing von geo-getaggten Bildern für die Erkennung von Moskito-Brutstätten auf der Basis von mobilen Anwendungen, Oktober 2018