Supervised Theses - Bachelor
2024
Aufbau und Evaluierung einer quellenunabhängigen Schnittstelle für das STARS-Framework durch Nutzung einer ROS2-Umgebung am Beispiel des CARLA-Simulators
Bachelor thesis
Purely Functional Data Structures
Bachelor thesis
Entwicklung eines Konzepts zur Identitätsverifizierung in einem dezentralen Netzwerk auf Basis selbstbestimmter Identität
Bachelor thesis
Analyse der Szenario-Diversität des KITTI-Datensatzes mit dem STARS Framework
Bachelor thesis
Implementierung und Verifikation von "Purely Functional Data Structures"
Bachelor thesis
Accelerating the Embedded Software Development Process with Continuous Hardware-in-the-Loop Testing
Bachelor thesis
Strategies for extracting static map data from GTA for formal analysis with STARS
Bachelor thesis
Identifizierung laufzeitrelevanter Metriken und Konzeption eines Testaufbaus zur qualitativen Bewertung und Gegenüberstellung von monolithischen und Microservice-Architekturen
Bachelor thesis
Erstellung eines Konzepts zum Einsatz der Blockchain-Technologie zur Verbesserung von Transparenz und Nachvollziehbarkeit in Lebensmittel-Lieferketten
Bachelor thesis
Design und Implementierung einer DSL zur vereinfachten Beschreibung von Szenarien zum simulationsbasierten Testen von autonomen Fahrzeugen
Bachelor thesis
Design und Evaluierung eines algorithmischen Ansatzes zur Entscheidungsunterstützung bei der kriteriengestützten Auswahl von Lagertechniken in der Intralogistikplanung
Bachelor thesis
Comparative Analysis of Verification Properties in Rust and C: Ensuring Memory, Thread, and Numeric Safety
Bachelor thesis
2023
Aspektorientierte Programmierung mit dem polyglotten Instrumentierungswerkzeug GraalVM Insight
Bachelor thesis
Entwicklung einer domänenspezifischen Modellierungsumgebung für NAOqi-Dialoge mit Jetbrains MPS
Bachelor thesis
Extraktion von formal analysierbaren Fahrdaten aus Computerspielen am Beispiel von GTA 5
Bachelor thesis
Szenario-basierte Auswertung von formalisierten Verkehrsregeln für Autobahnverkehr mit dem STARS Framework
Bachelor thesis
Design und Evaluierung einer Pipeline-basierten Bereitstellung für moderne Microservice-Architekturen
Bachelor thesis
Design und Evaluierungen eines algorithmischen Ansatzes zur Entscheidungsunterstützung bei der kriteriengestützten Auswahl von Lagertechniken in der Intralogistikplanung
Bachelor thesis
Evaluation von Projektmanagementvorgehen für die Softwareprojekte mit Entwicklern in Teilzeit
Bachelor thesis
Evaluation des Bilderkennungs-Services "AWS Rekognition" zur Analyse von Grundrissen in der Bauwirtschaft
Bachelor thesis
Development of PipeLYnt, a static analysis tool for syntax-testing YAML CI/CD scripts
Bachelor thesis
Entwicklung und Evaluation der Usability, Accessibility und des Layouts von Webanwendungen am Beispiel des Projektes Building Information Cloud
Bachelor thesis
Analyse der Cloud-nativen Modernisierung von Enterprise Java Webapplikationen mit Hilfe eines Migration-Toolkits
Bachelor thesis
Der Effekt von semantischem Bias in den Trainingsdaten von künstlichen neuronalen Netzen am Beispiel der Ampel-Erkennung in Carla-Simulationsdaten unter unterschiedlichen Wetterbedingungen
Bachelor thesis
Evaluation von Projektmanagementvorgehen für Softwareprojekte mit Entwicklern in Teilzeit
Bachelor thesis
2022
OCI-based Vulnerability Containers with Metadata for Automated Evaluation of Security Analysis Tools
Bachelor thesis
DSL-Driven Integration of HTTP Services in DIME
Bachelor thesis
Entwicklung einer internen domänenspezifischen Sprache zur Komposition von SMT-Solvern
Bachelor thesis
Konzeption und Implementierung eines leichtgewichtigen Frameworks zur Erstellung von Bildungssimulationen
Bachelor thesis
Entwicklung eines Reifegradmodells für das Data Engineering
Bachelor thesis
Entwurf und Evaluierung einer Strategie für die Erhöhung der Zuverlässigkeit von Microservice-Architekturen mittels der ADD Methodik
Bachelor thesis
Konzeption und Entwicklung einer Softwarekomponente zur graphischen und kollaborativen Erstellung von Datenqualitätsregeln
Bachelor thesis
Entwicklung einer Software zur automatischen Generierung von Regeln zur Überprüfung von BIM-Modellen in Solibri
Bachelor thesis
Analyse unstrukturierter Daten am Beispiel von Planungs- und Betriebsunterlagen im Bauingenieurswesen mittels AWS
Bachelor thesis
Digitale Erfassung des Baufortschritts anhand des Abgleichs mit IFC-Gebäudemodellen
Bachelor thesis
Einrichtung einer virtuellen Fahrumgebung zur Simulation von Fahrprüfungen
Bachelor thesis
Ein methodischer Ansatz zur Lokalisierung mobiler Roboter mittels multipler Sensoren
Bachelor thesis
Generierung eines Master-Detail Web-Views mit CRUD Operationen aus der OpenAPI Spezifikation eines Dataspace Connectors
Bachelor thesis
Compromising file system with npm dependencies
Bachelor thesis
2021
Metaheuristische Optimierung von Reglern zur lateralen und longitudinalen Steuerung eines autonomen Rennwagens
Bachelor thesis
Passives Erlernen von Verhaltensmodellen von Java-Komponenten unter Berücksichtigung externer Einflüsse
Bachelor thesis
Quantitative Untersuchung einer Laufzeit-Anomalieerkennung auf Basis erlernter Automaten
Bachelor thesis
Definition und Umsetzung eines Konzepts zum automatisierten Testen von graphischen Visualisierungs- und Analyseanwendungen am Beispiel von YAKINDU Model Viewer
Bachelor thesis
Wie sieht die Softwarearchitektur für einen Sprachbot in einem intelligentem Regal mit verteilten Low-Budget und Low-Energy Modulen aus?
Bachelor thesis
Entwicklung eines Konzepts zur Sicherstellung der Datensouveränität auf digitalen Plattformen
Bachelor thesis
Design und Umsetzung einer IHE MHD-basierten Schnittstelle für den Zugriff auf die elektronische Fallakte mit mobilen Endgeräten
Bachelor thesis
Implementierung eines Prototyps zur Verifizierung von digitalen Bauanträgen in der Blockchain
Bachelor thesis
Entwicklung eines Algorithmus zur Bewertung von Messdaten im Hochbelastungslauf hinsichtlich Fahrstilanforderungen
Bachelor thesis
Integration of Array Theory into JConstraints
Bachelor thesis
Design und Evaluierung einer Webanwendung zur Visualisierung von SMT Solver Performance
Bachelor thesis
Bahnplanung eines Schwarms mobiler Roboter unter Minimierung von Kollisionen bei Steuerungsausfall
Bachelor thesis
Konzeption und Entwicklung eines Tools zur automatisierten Bereinigung von CSV-Dateien
Bachelor thesis
Containerisierung einer bestehenden Warenwirtschaft als Grundlage einer Unternehmens-Cloudservice-Strategie
Bachelor thesis
2020
Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung
Bachelor thesis
Blockhain-based Smart Contracts and their Utilization in Supply Chain Management
Bachelor thesis
Implementierung und Evaluation der String-Theorie Unterstützung in JConstraints unter Verwendung verschiedener String-Solver
Bachelor thesis
Entwicklung eines verteilbaren Algorithmus zur kollisionsfreien Routenplanung in automomen Multiagentensystemen
Bachelor thesis
Evaluation des menschenzentrierten Gestaltungsprozesses anhand eines Bibliothekssystems
Bachelor thesis
Requirements Engineering für ein Management-Tool als Ergänzung zum Produkt in|sure Health Claims zur weiteren Steuerung des Geschäftsprozesses der Kostenrückerstatung
Bachelor thesis
Entwurf einer konfigurierbaren und automatisierten Verarbeitungspipeline für Machine Learning
Bachelor thesis
Prototypische Implementierung eines systemunabhängigen Light Node zur Überwachung von Prozessen im Supply Chain Management
Bachelor thesis
Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests
Bachelor thesis
Transformation and evaluation of a monolithic java web application into a microservice architecture for usage within a container-based environment
Bachelor thesis
Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgenzählers
Bachelor thesis
Design einer Integrationsschnittstelle zwischen der nationalen Elektronischen FallAkte und der europäischen Smart Electronic Health Record am Beispiel der International Patient Summary
Bachelor thesis
Erweiterung der Webapplikation eines cyber-physischen Produktionssystems zur Entwicklung von Echtzeit-Assistenzsystemen und zur Verwaltung von Störungen
Bachelor thesis
Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers
Bachelor thesis
2019
Entwicklung und Test von Sensor Fusion zur Unterstütung von Fahrassistenzystemen
Bachelor thesis
Entwurf und Implementierung eines autonomen Einparkassistenten
Bachelor thesis
Generierung deklarativ spezifizierter GUI-Komponenten am Beispiel Coremedia CMS 9
Bachelor thesis
Design und prototypische Entwicklung einer servicebasierten Experimentierplattform
Bachelor thesis
Entwicklung und Test von Sensor Fusion zur Unterstützung von Fahrassistenzsystemen
Bachelor thesis
Bewertung des Potentials von Hyperledger zur Realisierung von datenintensiven Edge-2-Cloud Anwendungen in Multi-Klienten Szenarien
Bachelor thesis
Potenzialanalyse eines Indoor-Positionierungssystems im Hinblick auf die Verwendbarkeit in der Lagerlogistik
Bachelor thesis
Command Injection Detection durch Taint-Analyse mittels Symbolic Execution am OWASP Benchmark Beispiel
Bachelor thesis
Untersuchung der Relevanz von User-Experience-Design bei der Prozessoptimierung
Bachelor thesis
Analyse des Verhaltens von Java Komponenten auf Basis von Bounded Model Checking und k-Induktion
Bachelor thesis
SCRUM in der Softwareentwicklung: Unterschiede zwischen Theorie und Praxis
Bachelor thesis
Linting, Autocompletion und Syntax-Highlighting für Validierungsregeln in natürlicher Sprache
Bachelor thesis
Development of a method for generating token-based transactions in Blockhain networks for the Supply Chain Management
Bachelor thesis
Umgebungserfassung durch Integration von laserbasierten Time-of-Flight-Sensoren in ressourcenbeschränkten Mikro-UAVs
Bachelor thesis
Erstellung und Validierung eines photo-elektro-thermischen LED-Modells zur Regelung des Lichtstroms
Bachelor thesis
2018
Design einer Domänen-spezifischen Sprache zur Beschreibung von Ablaufen von Ereignissen im Straßenverkehr und prototypische Übersetzung von modellierten Verkehrsszenarien in konkrete Trajektorien von Fahrzeugen
Bachelor thesis
Automatisierte Generierung von Unit Tests für Java Anwendungen auf Basis von dynamischer symbolischer Ausführung
Bachelor thesis
Benchmarking multi-solver hierarchies in jConstraints
Bachelor thesis
Entwicklung einer domänenspezifischen Sprache für anforderungsbasierte Testfälle
Bachelor thesis
Vorgehen zur testgetriebenen Entwicklung eines REST-Services
Bachelor thesis
Automatische Detektion von tonisch-klonischen Anfällen mit Hilfe von SVM und kNN aus Basis EPItect gewonnener Beschleunigungsdaten
Bachelor thesis