Supervised Theses - Master
2024
Effiziente Onkologie-Generierung: Ein automatisches Mapping von HL7 FHIR Ressourcen
Master thesis
Entwicklung eines Prototypen zur automatisierten Verarbeitung von Bautagesberichten mittels OCR
Master 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
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
Entwicklung eines Prototypen zur Automatisierung der BIM-Datenanalyse durch den Einsatz von Large Language Models
Master thesis
2023
Formal Verification of a Hydrogen Generation System by Model Checking
Master thesis
Automatisierte Auswertung von IFC Gebäudemodellen am Beispiel von Raumerkennung und Fluchtwegerkennung
Master thesis
Tracing von reaktiven Applikationen am Beispiel von Spring Webflux
Master thesis
2022
Konzeption und Umsetzung eines Vertragsverhandlungsagenten für Transport- und Produktionsverträge im Kontext des Industrie 4.0 Recht-Testbeds
Master thesis
Vergleich verschiedener Blockchain-Lösungen am Beispiel von digitalen Bauplanungsprozessen
Master thesis
Automatisierte Parametrisierung von szenariobasierten Testfällen zur Verifikation und Validierung von autonomen Fahrfunktionen in Simulationen
Master thesis
Data Usage Policy Enforcement beim Datenaustausch zwischen Cloudbasierten Systemen
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
Breaking Changes in Maven Central - A Partial Replication Study and an Investigation of Version Schemes
Master thesis
Systematische Evaluation der Präzision und Korrektheit von Callgraph Algorithmus Implementierungen
Master thesis
Ein Truffle-Instrument zur dynamischen symbolischen Analyse von LLVM IR Bitcode in der GraalVM
Master thesis
2021
Entwicklung und Erprobung einer Designmethode für heterogene, datenintensive verteilte Anwendungen im automotiven Umfeld
Master thesis
Machine Learning Based Behavior Model of Different Driver Types at Inner-City Intersections using Trajectory Data
Master thesis
Modellierung und Analyse von Verfahren zur Routenplanung für die Bodenkartierung mittels holonomer mobiler Roboter
Master thesis
Agile Reifegradmodelle: Anwendung und Bezug zum Unternehmenserfolg
Master thesis
Design einer Data Processing DSL entlang eines UseCase in der Geochemie
Master thesis
Namens- und Annotations-gestützte Code-Generierung zur Vereinfachung der Erstellung von JUnit-Tests für eine Webanwendung.
Master thesis
Probleme und Handlungsempfehlungen für Multicloud-Herausforderungen im Bereich Datenmanagement
Master 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
2020
Choreografische Realisierung von BPMN Geschäftsprozessen
Master thesis
Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen
Master thesis
Design einer formalen Sprache für die Spezifikation und Verifikation funktionaler Anforderungen an autonome Systeme
Master thesis
Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript Anwendungen
Master thesis
Typebasierte Taint-Analyse im Lambda-Kalkül und die Anwendung auf C
Master thesis by Richard Stewing
2019
Explainable Vulnerability Detection on Abstract Syntax Trees with Arithmetic, LSTM-based Neural Networks
Master thesis
Mining und Auswahl von Testfällen für REST-basierte Web-Anwendungen auf Basis aufgezeichneter Nutzungsdaten
Master thesis
Detektion von epileptischen Anfällen unter Verwendung von EKG und PPG Daten
Master thesis
The Next Generation LearnLib Studio
Master thesis
2018
Implementation and performance evaluation of an active learning algorithm for visible state-local alphabets
Master thesis
Erweiterung einer Programmiersprache zur Datenverarbeitung um ausführbare Nutzungsbedingungen
Master thesis