Final Theses
Here you can find all important information about theses at our group.
What you should bring when writing your thesis at our group:
- Good programming skills
- Interest in software engineering
- Enjoy formal work with practical relevance
- Prior knowledge in the area of formal methods
Frequently Asked Questions
If the topic falls into our research areas, we might. However, please check your topic according to the following points:
- Is there a research question?
- Does your topic involve something else than constructing (e.g. implementing) something?
- Does your topic motivate you enough to work on it for roughly 6 month?
- Do you have a written topic proposal (roughly two pages DIN A4 including references)?
If you can answer all of these questions with a strong yes, then please send us your topic for consideration.
We will provide you with a TeX-template for your thesis and presentation slides after the acceptance of your thesis at our group.
In general you are responsible for your own time management for the thesis project. Hence, we will not check if you are still in a time plan and will not create one. However, we will -- of course -- supervise and help with your progress. This means that we will arrange for a 30 minute meeting every 2 weeks. If there is the need for more or longer discussions that of course is always possible, but we found that this is a sustainable pace for most students. The meeting is not meant as a status meeting, but rather to clarify questions or to discuss research results.
You will be part of our seminar for students that write a thesis in our group. The seminar meets most weeks and two students will give talks to report on their thesis (everyone is expected to give two presentations: one to present the idea for the thesis project and one to report on the results of the thesis project).
Open Theses
Implementierung und Verifikation eines Software-System in OCaml mit Session Types
Master thesis
Supervisor:
Richard Stewing
Finished Theses
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
Analyse der Szenario-Diversität des KITTI-Datensatzes mit dem STARS Framework
Bachelor thesis
Implementierung und Verifikation von Purely Functional Data Structures
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
Applied Orienteering Problem: Optimizing Bike Routing Results Towards Interesting Points of Interest and Pleasant Routes
Bachelor thesis
Iterative Generierung von kompositionalen Single Page Applikationen unter Berücksichtigung des Routings für das React Framework
Master 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
Entwicklung von PipeLYnt, einem statischen Code-Analyse-Tod zur Syntax-Prüfung von YAML CI/CD Kripte - Development of PipeLYnt, a static code analysig tool for syntax testing YAML CI/CD scripts
Bachelor thesis
Entwicklung und Evaluation der Usability, Accessibility und des Layouts von Webanwendungen am Beispiel 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
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
Entwurf und Entwicklung einer auf die Anforderungen des Software-Praktikums zugeschnittenen kollaborativen UML-Modellierungsumgebung
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
Vue-based Visualization of Maven Dependency Relationships
Bachelor thesis
Konzeption und Implementierung eines leichtgewichtigen Frameworks zur Erstellung von Bildungssimulation
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 Bauplanprozessen
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
Eine Methode 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 in Kontext des Industrie 4.0 Recht-Testbeds
Master thesis
Data Usage Policy Enforcement beim Datenaustausch zwischen Cloudbasierten Systemen
Master thesis
Automatisierte Auswertung von IFC Gebäudemodellen am Beispiel von Raumerkennung und Fluchtwegerkennung
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
Komponentenbasierte Syntheseverfahren im Vergleich
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
Normalization of SMT Problems
Master thesis
Entwicklung eines Templates zur automatischen Generierung von Fortschrittsberichten in Bauprojekten am Beispiel der BIM-ID
Bachelor thesis
Implementation an Evaluation of automated GUI testing approaches on the example of the insure-Partner project
Bachelor thesis
Entwicklung eines Datenhaltungs- und Datenschutzkonzeptes zur automatisierten Abrechnung der HOAI-Leistungsphasen in Bauprojekten
Bachelor 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 einer 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
Ein Cinco-Metaplugin für Synthese auf lose spezifizierten Prozessen
Master thesis
Entwicklung einer Plugin-Architektur zur Erweiterung von DIME-Prozessen um externe SIB-Typen
Master thesis
Entwicklung einer Modellierungsumgebung zur Generierung statischer Webseiten
Bachelor thesis
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
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
Entwicklung einer grafischen DSL für Docker und Kubernetes
Master 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
2018
Generierung von BPMN-Geschäftsprozessen zu vollständig lauffähigen Web-Anwendungen
Master thesis
Ausführung von CMMN-Modellen durch Transformation in DIME-Modelle
Master thesis
A Domain-Specific Language for Layered Software Architectures
Master thesis
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
2017
Unterstützung der Architekturanalyse für das Dependency Management in Gradle Projekten
Bachelor thesis
Development of a Software Environment and Domain-Specific Automatic Code Generator for a Modular Hydraulic Test Bench
Master thesis
Process Monitoring-Based Anomaly Detection of Industrial Plants
Master thesis
2016
Extraktion und Visualisierung von Beziehungen und Abhängigkeiten zwischen Komponenten großer Softwareprojekte
Master thesis
Cinco Evaluation: CMMN-Modellierung und -Ausführung in der Praxis
Master thesis
2015
Merge-Strategien für Graphmodelle am Beispiel von jABC und Git
Diploma thesis
Cinco Products for the Web
Master thesis
2014
Konstruktion eines kontextabhängigen Editors zur Metamodell-basierten Modellierung
Diploma thesis
Realisierung einer Bibliothek zur visuell geleiteten Annotation von Graph-Modellen
Diploma thesis
Model-based generation of graphical editors on the basis of abstract meta-model specifications
Master thesis
Grafische Modellierung der Auslegung von Pasteurisiermaschinen
Bachelor thesis
2013
Modellgetriebenes Reengineering der Geschäftslogik von Java-Applikationen
Master thesis
2012
Entwicklung und Implementierung eines Frameworks zur grafischen Modellierung von Modelltransformationen auf Basis von EMF-Metamodellen und Genesys
Diploma thesis