Theses

This is a list of some of the theses we are offering but there are many more topics you can write a thesis about at our institute. Please contact us directly if you want to write a thesis, even if you haven't found a topic that you like in the list below. If you are a student and want to write a thesis, you can find more information at the sub-pages, i.e. pages for an FAQ and for the templates.

Available

for Degree Contact Person
Application Domains of NoSQL Databases in Business Information Systems Bachelor M. Leucker
Erstellung eines Prototyps für funktionale Programmierung in COBOL Master M. Leucker
Fehlerhandling in Microservice Architekturen Bachelor M. Leucker
Integrated Testbed for Battery Management System (BMS) Master M. Leucker
Operationalized Software Architecture Documentation Master M. Leucker
Testdaten-Transfer Master M. Leucker
Untersuchung unterschiedlicher Zielfunktionen bei der constraintbasierten Schleusenbelegungsplanung Bachelor M. Leucker
Untersuchung unterschiedlicher Zielfunktionen bei der constraintbasierten Schleusenbelegungsplanung Master M. Leucker

In progress

for Degree Contact Person
Constraint-basierte Optimierung im Reallabor Nutzerzentriertes Bi-direktionales Laden (ReNuBiL) Bachelor D. Thoma, M. Sachenbacher
Einsatz von Behaviour Driven Development zur Sicherstellung der Systemperformance einer Webanwendung in einem medizinisch regulierten Umfeld Master M. Leucker
Konzeption eines digitalen Klassenbuchs Bachelor L. Convent
NoSQL Database Systems in Business Information Systems Bachelor D. Thoma
Risk Management and Usability Engineering for Medical Devices in the Context of a Usability Assessment of the HomeOCT Project Bachelor M. Leucker
Specification of Digital Twins for a Practicable Implementation Master L. Vosteen

Completed

for Degree Contact Person
4-valued finite trace semantics for TLTL Bachelor
A Comparison of Stream Evaluations: TeSSLa versus stream-based Databases Bachelor M. Leucker
Agile Software Development Method Inclusive Documentation Bachelor M. Leucker
Algebraische Strukturen: Beispiele und Anwendungen im Routing Bachelor
Algorithms and Data Structures for Partial Preorder Queues Bachelor
Analyse eines optischen Sensors in einem Roboterhandling-System Master M. Leucker
Analyse und Simulation von strombasierten Spezifikationen Master M. Schmitz
Analysis of Consumer-driven Contract Tests with Asynchronous Communication between Microservices Bachelor A. Stümpel
Android App for Green Navigation Bachelor
Benchmarking eines HPC-Clusters zur Genomanalyse am Beispiel des Lübecker OMICS-Clusters Bachelor M. Schmitz
Comparing Methods of Event Recognition for Runtime Verification Bachelor D. Thoma
Compiler Optimierung für strombasierte Sprachen Bachelor H. Kallwies
Conception and Realisation of a Resilient Smart Home Solution Bachelor M. Leucker
Contraction Hierarchies for State-Based Routing Master
Data Sources and their Licences for the Application in GreenNav Bachelor
Datenschutz im Straßenverkehr - Wie sensibel sind die gesammelten Daten? Eine Analyse im Kontext von Green Navigation Bachelor
Design und Entwicklung einer Softwarearchitektur zur Optimierung der Ladestrategien elektrisch betriebener Busse Master M. Leucker
Design und Implementierung eines Makrosystems für SALT Bachelor S. Hungerecker
Developing a system for integration and monitoring of electrically powered two-wheeler in car sharing context Master M. Leucker
Development of a DSL for cost calculation of automated immunodiagnostic tests Master H. Kallwies
Development of a SAT Solver Bachelor M. Leucker
Development of a Web Application for Smart Car Services Master
Distributed Runtime Verification on Embedded Systems Master M. Leucker
Dreiwertige Timed-LTL-Semantik Master T. Scheffel
Driving Behaviour Suggestions in Energy-Optimal Route Planning for Electric Vehicles Bachelor
DSL-based Runtime Verification for the JVM Master M. Leucker
Dynamisches Rerouting im Kontext von Navigationssystemen Master
Efficient Code Generation for Stream-based Specifications Master S. Hungerecker, M. Schmitz, D. Thoma
Effizienter Leerheitstest pro Zustand auf Büchi-Automaten Bachelor T. Scheffel
Ein Szenarien-Simulator für Selbst-Optimierende Emergente Systeme Master M. Leucker
Entwicklung einer Anwendung zur Interaktion von medizinischen Geräten gemäß IEEE 11073 Bachelor M. Schmitz
Entwicklung einer Benutzungsschnittstelle für die Interaktion mit dem Bordcomputer des eRoller-Systems Bachelor M. Blankenburg
Entwicklung einer Konzeptanalyse über die Tiefe und den Umfang von Complaint-Untersuchungen Bachelor M. Leucker
Entwicklung einer Videotext-Komponente für das TV2IP-System Bachelor M. Blankenburg
Entwicklung eines eingebetteten Systems zur UPnP- und DLNA-konformen Umsetzung von DVB-Signalen auf IP-Netzwerke Master M. Blankenburg
Entwicklung eines Mess- und Verwaltungssystems im Kontext von Feuerwehrwettkämpfen Master M. Blankenburg
Entwicklung eines Redmine-Plugins für die Verwaltung von Story-Cards in Verbindung mit kontinuierlichem Testen Bachelor
Entwicklung eines Systems zur statistischen Auswertung von DNA-Sequenzen Bachelor
Entwicklung und Implementierung von energieoptimalem Flottenrouting im Kontext des Green Navigation Projekts Master
Erstellen einer Bibliothek zur Echtzeitdatenerfassung auf einem Einplatinen-Computer Master M. Leucker
Erweiterung von Freeze-LTL auf mehrfach attributierten Datenwörtern um 2 neue Quantoren Bachelor
Erweiterung von SALT auf RLTL Bachelor S. Hungerecker
Flexible and Dynamic CSPs for Routing Bachelor
Förderung ökonomischer Fahrweise durch die Entwicklung einer App zur intelligenten Vorhersage von Verkehrszeichen Bachelor
Generische Implementierung zur Überdeckung in wohlstrukturierten Transitionssystemen Bachelor
Heuristic Methods for the Vehicle Routing Problem and Their Application in Car Sharing Master
Imageprocessing for Smart Lectures Bachelor
Implementierung einer Monitorkonstruktion für sichtbar-kontextfreie Eigenschaften Bachelor
Integrating jUnitRV and TeSSLa for Stream Runtime Verification (SRV) Bachelor, Master M. Schmitz, D. Thoma
Integration des GreenNav-Routingwebservice in TYPO3 Bachelor
Integration eines neuen Serialisierungs- und Übertragungsprotokolls in das ZeLiM-System Bachelor M. Blankenburg
Kommunikationsorientierte Entwicklung von Poker im Vergleich zur objektorientierten Realisierung Bachelor A. Stümpel
Lasttests von Webanwendungen und korrespondierende Optimierung Master M. Schmitz
Logics for distributed Runtime-Verification Master T. Scheffel
Machine Learning for Time Series Prediction of Energy Data Bachelor M. Sachenbacher
Messung der gefühlten Ladezeit von Web-Seiten Master M. Leucker
Methoden zur Fahrzeugallokation im Kontext von energie-optimiertem Routing Bachelor
Metrik-basiertes Refaktorieren von Klassen am Beispiel der Kohäsion Master M. Leucker
Minimierung von nicht-deterministischen Büchi-Automaten mit Propositionen Master T. Scheffel
Modellierung örtlicher Bedingungen in strombasierten Spezifikationssprachen Master H. Kallwies
Modellierung von Intermodalität in Graphsachen und Lösungsansatz zur effizienten Wegefindung im Arbeitskontext von Green Navigation Master
Modified Condition/Decision Coverage based on Jumps Master M. Schmitz
Monitoring Modulo Theories for Timed Logics Master D. Thoma
Monitoring of the AUTOSAR Timing Extensions with TeSSLa Bachelor M. Sachenbacher, D. Thoma
Multivariate Datenanalyse gasartabhängiger Flowmesssignale zur Gasartbestimmung Master M. Leucker
Operating Interorganizational Logistical Workflows on a Shared Software Platform Master M. Leucker
Parallel Analysis of Large Traces with Stream Based Specifications Master M. Schmitz
Parallel Analysis of Large Traces with Stream Based Specifications Master T. Scheffel
Parsen von Anweisungslisten Bachelor G. Markin
Pink states for runtime verification Master
Realisierung strombasierter Systemmodelle mit Erlang Bachelor A. Stümpel
Refactoring und Erweiterung der Hard- und Software-Architektur des eRoller-Systems Bachelor M. Blankenburg
Resilient System Deployment using Kubernetes Bachelor K. Kharraz, M. Ernst, T. Braun
RESTful Webservice für Webapplikationen am Beispiel eines Hochschulsport-Buchungssystems Bachelor M. Schmitz
Runtime Verification for Android Master D. Thoma
Runtime Verification mit Daten Master D. Thoma
Runtime Verification of temporal Petri Net Properties Bachelor H. Kallwies
SALTXT: An Xtext-based Extendable Temporal Logic Compiler Bachelor
Semantische Webdatenbanken Master D. Thoma
Simulation of GreenNav algorithms and their emergent behaviour Master
Simulation von Parkhäusern mit PV-Anlagen für E-Fahrzeuge Bachelor
Smart Lectures, an Extension of Massive Open Online Courses using Multimedia Live-Streaming Bachelor
Softwarearchitektur für IHS Interactive Hairstyling System Bachelor M. Leucker
Softwarearchitektur zur Realisierung der Lehre in der AI-LAB Infrastruktur Bachelor G. Bergmann, M. Ernst
STL: Combining Stream-based and Temporal Logics Master
Stochastic Models and Acceleration Techniques for Green Routing in Car Navigation Systems Master
Stochastic Routing Bachelor
Stream-Based Verification with JUnit Master M. Schmitz, D. Thoma
Strömungsvisualisierung bei Beatmungszubehör Master M. Leucker
Symbolic Stream Runtime Verification with Future Master H. Kallwies
Synthesis of Stream-based Monitors on FPGAs Master M. Schmitz, D. Thoma
Test-case Generation for Stream-based Specification Languages Master M. Schmitz
Transformation of Parity Automata into Büchi-Automata Bachelor T. Scheffel
Transformation of Regular Linear Temporal Logic into Parity Automata Bachelor M. Leucker
Turn Costs in Energy-Optimal Route Planning for Electric Vehicles Bachelor
Turning a Raspberry Pi into an RF and IR Transceiver Bachelor M. Blankenburg
Umwandlung: 2-Wege Alternierende 3-Paritätsautomaten in Nicht-deterministische Büchi-Automaten Master T. Scheffel
Umwandlung: 2-Wege Alternierende Büchi-Automaten in Nicht-deterministische Büchi-Automaten Bachelor T. Scheffel
Using Intel Processor Tracing (for Runtime Monitoring) Bachelor, Master M. Schmitz
Vaadin Map Component for Green Navigation Bachelor
Validation of an Array Processor in Space Master M. Leucker
Vergleichsanalyse von Kommunikationsprotokollen am Beispiel der Logistikdomäne Ostseeraum Bachelor T. Braun
Verwendung externer Kommunikationssoftware in vernetzungsfähigen Medizinprodukten Bachelor M. Schmitz
Vierwertige RLTL Semantik auf endlichen Worten Master T. Scheffel
Vierwertige Timed-LTL-Semantik Bachelor T. Scheffel
Visualisierung der Läufe von alternierenden 2-Wege-Automaten Master M. Schmitz
Web-Application for Car-Sharing Vehicle Reservations Bachelor
Webbasiertes Audio-Presenter-Tool Bachelor M. Schmitz
Webbasiertes System zur automatischen Interface-Generierung für vernetzte Medizingeräte nach IEEE 1107-1020 Master M. Schmitz
Subscribe to Theses