|
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 |
