Themen für Bachelor- und Masterarbeiten
Unter folgenden Links befinden sich aktuelle Themen für Bachelor- und Masterarbeiten. Hinweis: Hier erscheinen nur Links, die uns Dozent*innen von sich aus zukommen lassen. Für weitere Themen bitte die Dozent*innen direkt kontaktieren und/oder deren Webseiten nach möglichen Themen durchsuchen.
- https://cgvr.cs.uni-bremen.de/theses/ (Arbeitsgruppe Computergraphik und virtuelle Realität)
- https://www.uni-bremen.de/csl/lehre/offene-bachelor-/masterarbeiten (Arbeitsgruppe Cognitive Systems Lab)
- http://www.informatik.uni-bremen.de/agra/ger/abschluss.php?art=alles (Arbeitsgruppe Rechnerarchitektur)
- https://ai.uni-bremen.de/jobs (Arbeitsgruppe Künstliche Intelligenz)
- Anfragen für Themen im Bereich HCI können via https://hci.uni-bremen.de/teaching/ gestellt werden. (Arbeitsguppe Human-Computer Interaction)
- http://edu-9.de/theses (Stefan Bosse)
- https://compart.uni-bremen.de/content/4-teaching/00-themenliste.pdf (Frieder Nake)
Bachelor- und Masterarbeiten
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:
AG Multisensorische Interaktive Systeme (Udo Frese)
Die Abschussarbeiten der AG Multisensorische Interaktive Systeme befinden unter:
Bachelorarbeiten
- 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
- 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öhl, Kevin: Modellierung einer Softwarearchitekturin Virtual Reality mithilfe der Leap Motion, Gutachter*innen: Rainer Koschke, Gabriel Zachmann, September 2020
- 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
- Gerhard, Enna: Bi-Kelly-Width: A New Width Measure for Directed Graphs, Gutachter*innen: Sebastian Siebertz und Sabine Kuske, Mai 2021
- 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
- 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
- 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
- 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, Juli 2019
- Mahlstädt, Nils-Janis: Auswahl von Beispiele in interaktiven Code Präsentationen durch strukturelle Programmanalyse, Februar 2020
- Masuch, Hannes, Virtuelle Software-Städte annotieren und umgestalten, Gutachter*innen: Rainer Koschke, Rene Weller, Dezember 2020
- Naber, Carmen: Konzeptionierung und Umsetzung eines adaptiven und mobilen Learning-Content-Management-Systems für Schulen, Februar 2019
- Nickelmann, Henrik Axel und Rahman, Angabin: Spatial Manipulation of Ropes: Simulation and Visualisation, Januar 2020
- 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
- Sauer, Dominik: Entwurf und Implementierung einer Scyther-Spezifikation für das C3DC-Profil zur Autorisierung in Constrained Environments, September 2019
- Scheetz, Björn: Werkzeugbasierte Modellierung von Spielen mit Petrinetzen, Oktober 2016
- Schlöter, Jens: Modellierung von Scheduling-Problemen mit zeitbehafteten Petri-Netzen, September 2016
- Schmutte, Jonas: A Serious Game Helping Android Users to Make Their Devices More Secure, 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
- Wagner, David: Visualisierung für eine Software-Architekturprüfung in Virtual Reality, Gutachter*innen: Rainer Koschke, Robert Porzel, September 2020
- Worm, Simon: Erarbeitung eines metrikbasierten Qualitätsmodells für ERC-20 Token, 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
- 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
- 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, 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
- 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
Aktuelles