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
Distributed Runtime Verification for EMF Models and Model Transformations Master M. Schmitz
Erweiterung der Sprache SALT und des SALT XT Compilers um Namen Master T. Scheffel
FPGA-based Message Tracing for Various Communication Buses Master M. Schmitz
Integrated Testbed for Battery Management System (BMS) Master M. Leucker
Modified Condition/Decision Coverage based on Jumps Master M. Schmitz
Porting a Java Runtime Verification Framework to C Master M. Schmitz, S. Hungerecker
Runtime verification on a chip Master M. Schmitz, S. Hungerecker
Using Intel Processor Tracing (for Runtime Monitoring) Bachelor, Master M. Schmitz

In progress

for Degree Contact Person
Analyse und Simulation von strombasierten Spezifikationen Master M. Schmitz
Design und Implementierung eines Makrosystems für SALT Bachelor S. Hungerecker
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 Mess- und Verwaltungssystems im Kontext von Feuerwehrwettkämpfen Master M. Blankenburg
Erweiterung von SALT auf RLTL Bachelor S. Hungerecker
Vaadin Map Component for Green Navigation Bachelor R. Schönfelder
Visualisierung der Läufe von alternierenden 2-Wege-Automaten Master M. Schmitz
Webbasiertes Audio-Presenter-Tool Bachelor M. Schmitz

Completed

for Degree Contact Person
4-valued finite trace semantics for TLTL Bachelor N. Decker
Agile Software Development Method Inclusive Documentation Bachelor M. Leucker
Algebraische Strukturen: Beispiele und Anwendungen im Routing Bachelor R. Schönfelder
Algorithms and Data Structures for Partial Preorder Queues Bachelor R. Schönfelder
Android App for Green Navigation Bachelor R. Schönfelder
Comparing Methods of Event Recognition for Runtime Verification Bachelor D. Thoma
Contraction Hierarchies for State-Based Routing Master R. Schönfelder
Data Sources and their Licences for the Application in GreenNav Bachelor R. Schönfelder
Datenschutz im Straßenverkehr - Wie sensibel sind die gesammelten Daten? Eine Analyse im Kontext von Green Navigation Bachelor R. Schönfelder
Developing a system for integration and monitoring of electrically powered two-wheeler in car sharing context Master M. Leucker
Development of a SAT Solver Bachelor M. Leucker
Development of a Web Application for Smart Car Services Master R. Schönfelder
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 R. Schönfelder
DSL-based Runtime Verification for the JVM Master M. Leucker
Dynamisches Rerouting im Kontext von Navigationssystemen Master R. Schönfelder
Effizienter Leerheitstest pro Zustand auf Büchi-Automaten Bachelor T. Scheffel
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 eines eingebetteten Systems zur UPnP- und DLNA-konformen Umsetzung von DVB-Signalen auf IP-Netzwerke Master M. Blankenburg
Entwicklung eines Redmine-Plugins für die Verwaltung von Story-Cards in Verbindung mit kontinuierlichem Testen Bachelor R. Schönfelder
Entwicklung eines Systems zur statistischen Auswertung von DNA-Sequenzen Bachelor N. Decker
Entwicklung und Implementierung von energieoptimalem Flottenrouting im Kontext des Green Navigation Projekts Master R. Schönfelder
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 N. Decker
Flexible and Dynamic CSPs for Routing Bachelor R. Schönfelder
Förderung ökonomischer Fahrweise durch die Entwicklung einer App zur intelligenten Vorhersage von Verkehrszeichen Bachelor R. Schönfelder
Generische Implementierung zur Überdeckung in wohlstrukturierten Transitionssystemen Bachelor N. Decker
Heuristic Methods for the Vehicle Routing Problem and Their Application in Car Sharing Master R. Schönfelder
Imageprocessing for Smart Lectures Bachelor R. Schönfelder
Implementierung einer Monitorkonstruktion für sichtbar-kontextfreie Eigenschaften Bachelor N. Decker
Integration des GreenNav-Routingwebservice in TYPO3 Bachelor R. Schönfelder
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
Messung der gefühlten Ladezeit von Web-Seiten Master M. Leucker
Methoden zur Fahrzeugallokation im Kontext von energie-optimiertem Routing Bachelor R. Schönfelder
Minimierung von nicht-deterministischen Büchi-Automaten mit Propositionen Master T. Scheffel
Modellierung von Intermodalität in Graphsachen und Lösungsansatz zur effizienten Wegefindung im Arbeitskontext von Green Navigation Master R. Schönfelder
Monitoring Modulo Theories for Timed Logics Master D. Thoma
Multivariate Datenanalyse gasartabhängiger Flowmesssignale zur Gasartbestimmung Master M. Leucker
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
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
SALTXT: An Xtext-based Extendable Temporal Logic Compiler Bachelor N. Decker
Semantische Webdatenbanken Master D. Thoma
Simulation of GreenNav algorithms and their emergent behaviour Master R. Schönfelder
Simulation von Parkhäusern mit PV-Anlagen für E-Fahrzeuge Bachelor R. Schönfelder
Smart Lectures, an Extension of Massive Open Online Courses using Multimedia Live-Streaming Bachelor R. Schönfelder
Softwarearchitektur für IHS Interactive Hairstyling System Bachelor M. Leucker
STL: Combining Stream-based and Temporal Logics Master N. Decker
Stochastic Models and Acceleration Techniques for Green Routing in Car Navigation Systems Master R. Schönfelder
Stochastic Routing Bachelor R. Schönfelder
Strömungsvisualisierung bei Beatmungszubehör Master M. Leucker
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 R. Schönfelder
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
Validation of an Array Processor in Space Master M. Leucker
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
Web-Application for Car-Sharing Vehicle Reservations Bachelor R. Schönfelder
Webbasiertes System zur automatischen Interface-Generierung für vernetzte Medizingeräte nach IEEE 1107-1020 Master M. Schmitz
Subscribe to Theses