Supervised Theses
2026
Analyse der Szenario-Diversität des INTERACTION-Datensatzes mit dem STARS Framework
Bachelor thesis
Automatische Generierung von Verkehrsszenarien basierend auf fehlenden Szenarioklassen mittels Scenic
Bachelor thesis
Evaluation der Auswirkungen von Qualitätsanpassungen des CARLA Autopiloten und dessen Auswirkungen auf die Scenario-Coverage
Bachelor thesis
Implementation of a Traffic Data Acquisition Prototype for Scenario-Based Testing of Automated Driving Systems
Master thesis
Evaluation einer blockgrenzenübergreifenden Segmentierung zur Analyse von Fahrdaten im STARS-Framework
Bachelor thesis
Wasserzeichen-Entscheidungsfindung in Kotlin
Master thesis
Implementation and Comparison of different Verification Methods for a formally defined educational Programming Language
Master thesis
Empirische Untersuchung von Nutzeranforderungen an Book-Tracking-Apps mit prototypischer Umsetzung
Master thesis
Eine Qualitative Analyse der Autonome-Fahrzeuge-Genehmigungs-und-Betriebs-Verordnung - AFGBV für Automatische Fahrsysteme
Bachelor thesis
Implementierung und Evaluation von Meta-Solving-Strategien für SMT-Solver
Bachelor thesis
Implementierung und Vergleich unterschiedlicher Techniken zur Backpropagation von State Constraints in Register Automaten
Bachelor thesis
Opponent Trajectory Prediction
Bachelor thesis
Leveraging Large Language Models with Run-time Evidence to Enhance Code Quality: A Comparative Study with Static Analysis Tools
Master thesis
Prognose des Energiebedarfs der Technischen Universität Dortmund mit Hilfe von statischen, maschinellen und tiefen Lernmethoden
Master thesis
Entwicklung und Auswertung eines LLM-basierten Forschungsassistenten in Obsidian zur effizienten Verwaltung, Analyse und Annotation von Forschungsliteratur
Bachelor thesis
Vertrauen in autonome Fahrzeuge: Eine empirische Untersuchung mit Interviews und Fragebogenstudie
Bachelor thesis
Vertrauen in Trustworthy AI Eine begriffliche Annäherung durch philosophische Konzepte von Vertrauen
Bachelor thesis
Environment reconstruction
Master thesis
2025
Continuous TSC Evaluation and Visualization for Driving in CARLA
Bachelor thesis
Unit Proofs in JUnit via Concolic Execution with GDart
Master thesis
Strategien zur Segmentierung von Simulationsfahrten für formale Analysen mit STARS
Bachelor thesis
Risikobewertung von Szenarien in STARS mittels unfallrelevanter Fahrmetriken
Bachelor thesis
Monokulare Tiefenschätzung auf ressourcenbeschränkter Hardware zur Objektdifferenzierung in intralogistischen Anwendungen
Bachelor thesis
Applying GDart to other JVM-languages: An example with Scala
Bachelor thesis
Vision-Based 3D Scene Reconstruction for Autonomous Driving with GPS-Assisted Localization
Master thesis
Fingerprinting of TCP implementations based on automata learning
Master thesis
Unit Proofs in JUnit via Concolic Execution with GDart
Master thesis
A Proof-Logic-Based Explainable Model Checker for the Temporal Logic CMFTBL
Master thesis
Entscheidung von CMFTBL-Formeln durch Formulierung als SMT-Probleme: Konzeption und Evaluation geeigneter Kodierungsstrategien
Bachelor thesis
Entwicklung eines Serious Games zur Förderung der Awareness im Bereich Informationssicherheit
Bachelor thesis
Evaluation der agilen Methodik in der Projektdurchführung von Storepick mittels qualitativer Sozialforschung
Master thesis
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
Master thesis
Prototypentwicklung für die Verarbeitung kundenspezifischer Anforderungen bei der Anpassung von Standardsoftware unter Einsatz künstlicher Intelligenz
Master thesis
Entwicklung und Evalution eines verifizierenden LLM-gestützten Pipeline-Prototyps zur Abfrage und Zusammenfassung von Bauanträgen
Master thesis
Entwicklung eines Prototypen zur Stammdatenextraktion aus unstrukturierten Dokumenten im Case management mittels Natural-Language-Processing
Master thesis
Entwicklung eines Messsystems zur Testbildgenerierung für ein Innovatives Fahrerbeobachungssystem
Bachelor thesis
Creating a VS Code Extension for a formally defined educational programming language
Bachelor thesis
Trajektorienvorhersage im Straßenverkehr mit Graph Neural Networks und Infrastrukturdaten für autonomes Fahren
Master thesis
Automated Derivation and Transformation of Association Data Quality Rules for Application in Data Management Tools
Master thesis
Dynamisch symbolische Ausführung für Objekte in der JVM mittels GDart
Master thesis
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 einer DSL mit MPS zur Modellierung von Tree-Based Scenario Classifiers
Bachelor thesis
Entwicklung eines Prototypen zur automatisierten Verarbeitung von Bautagesberichten mittels OCR
Master 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
Processing Counterexamples in Active Learning of Register Automata
Master thesis
Investigating the Performance of Centralized Task Allocation in Autonomous Mobile Robot Systems
Master thesis
Accelerating the Embedded Software Development Process with Continuous Hardware-in-the-Loop Testing
Bachelor thesis
Combining Dynamic Symbolic Execution and Static Program Slicing
Master thesis
Dynamisch-symbolische Generierung von Testfällen für eine Software für Steuererklärungen auf Basis einer DSL
Master thesis
Entwicklung und Evaluation eines Prototypen zur automatisierten Auswertung von Brandschutzkonzepten in Grundrissen mittels KI
Master thesis
Effiziente Ontologie-Generierung: Ein automatisches Mapping von HL7 FHIR Ressourcen
Master 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
Entwicklung eines Prototypen zur Automatisierung der BIM-Datenanalyse durch den Einsatz von Large Language Models
Master thesis
Effiziente Onkologie-Generierung: Ein automatisches Mapping von HL7 FHIR Ressourcen
Master 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
Strategies for extracting static map data from video games for formal analysis with STARS
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
Tracing von reaktiven Applikationen am Beispiel von Spring Webflux
Master thesis
Extraktion von formal analysierbaren Fahrdaten aus Computerspielen am Beispiel von Videospielen
Bachelor thesis
Szenario-basierte Auswertung von formalisierten Verkehrsregeln für Autobahnverkehr mit dem STARS Framework
Bachelor thesis
Automatisierte Auswertung von IFC Gebäudemodellen am Beispiel von Raumerkennung und Fluchtwegerkennung
Master 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
Formal Verification of a Hydrogen Generation System by Model Checking
Master 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
Entwicklung und Evaluation von API's zur Integration von gängigen Projektmanagementplattformen am Beispiel der Building Information Cloud
Bachelor thesis
2022
OCI-based Vulnerability Containers with Metadata for Automated Evaluation of Security Analysis Tools
Bachelor thesis
Ein Truffle-Instrument zur dynamischen symbolischen Analyse von LLVM IR Bitcode in der GraalVM
Master 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
Konzeption und Umsetzung eines Vertragsverhandlungsagenten für Transport- und Produktionsverträge im Kontext des Industrie 4.0 Recht-Testbeds
Master 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
Vergleich verschiedener Blockchain-Lösungen am Beispiel von digitalen Bauplanungsprozessen
Master 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
Automatisierte Parametrisierung von szenariobasierten Testfällen zur Verifikation und Validierung von autonomen Fahrfunktionen in Simulationen
Master thesis
Betriebskonzept und Umsetzung in Kubernetes für die Migration eines Monolithen hin zu Microservices im Kontext des Industrie 4.0 Recht-Testbeds
Master thesis
Data Usage Policy Enforcement beim Datenaustausch zwischen Cloudbasierten Systemen
Master thesis
Breaking Changes in Maven Central - A Partial Replication Study and an Investigation of Version Schemes
Master thesis
Compromising file system with npm dependencies
Bachelor thesis
Systematische Evaluation der Präzision und Korrektheit von Callgraph Algorithmus Implementierungen
Master thesis
2021
Namens- und Annotations-gestützte Code-Generierung zur Vereinfachung der Erstellung von JUnit-Tests für eine Webanwendung.
Master thesis
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
Entwicklung und Erprobung einer Designmethode für heterogene, datenintensive verteilte Anwendungen im automotiven Umfeld
Master 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
Normalization of SMT Problems
Master thesis
Design einer Ein-Umgebungs-Test-Strategie zur Steigerung des Vertrauens in Produktivsysteme am Beispiel eines Automobilherstellers
Master thesis
Entwicklung eines Konzepts zur Sicherstellung der Datensouveränität auf digitalen Plattformen
Bachelor thesis
Probleme und Handlungsempfehlungen für Multicloud-Herausforderungen im Bereich Datenmanagement
Master thesis
Design einer Data Processing DSL entlang eines UseCase in der Geochemie
Master 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
Agile Reifegradmodelle: Anwendung und Bezug zum Unternehmenserfolg
Master thesis
Modellierung und Analyse von Verfahren zur Routenplanung für die Bodenkartierung mittels holonomer mobiler Roboter
Master 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
Machine Learning Based Behavior Model of Different Driver Types at Inner-City Intersections using Trajectory Data
Master thesis
Containerisierung einer bestehenden Warenwirtschaft als Grundlage einer Unternehmens-Cloudservice-Strategie
Bachelor thesis
2020
Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung
Bachelor thesis
Typebasierte Taint-Analyse im Lambda-Kalkül und die Anwendung auf C
Master thesis by Richard Stewing
Design einer formalen Sprache für die Spezifikation und Verifikation funktionaler Anforderungen an autonome Systeme
Master thesis
Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen
Master 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
Choreografische Realisierung von BPMN Geschäftsprozessen
Master thesis
Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgenzählers
Bachelor thesis
Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript Anwendungen
Master 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
Blockchain-based Smart Contracts and their Utilization in Supply Chain Management
Bachelor thesis
Erweiterung und Evaluation des String Modells zur symbolischen Ausführung mit JDart
Bachelor thesis
2019
Entwicklung und Test von Sensor Fusion zur Unterstütung von Fahrassistenzystemen
Bachelor thesis
Explainable Vulnerability Detection on Abstract Syntax Trees with Arithmetic, LSTM-based Neural Networks
Master 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
Mining und Auswahl von Testfällen für REST-basierte Web-Anwendungen auf Basis aufgezeichneter Nutzungsdaten
Master 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
Detektion von epileptischen Anfällen unter Verwendung von EKG und PPG Daten
Master 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
The Next Generation LearnLib Studio
Master thesis
Erstellung und Validierung eines photo-elektro-thermischen LED-Modells zur Regelung des Lichtstroms
Bachelor thesis
Verteilte Umgebungserfassung durch Integration von Laser Time of Flight Arrays in ressourcenbeschränkte Mikro UAVs
Bachelor thesis
2018
Implementation and performance evaluation of an active learning algorithm for visible state-local alphabets
Master thesis
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
Erweiterung einer Programmiersprache zur Datenverarbeitung um ausführbare Nutzungsbedingungen
Master 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