In der Regel bieten wir Abschlussarbeiten zu unseren aktuellen Forschungsthemen an. Bevor Sie nach einem konkreten Thema suchen, empfehlen wir Ihnen sich über unsere aktuelle Forschung zu informieren.

Im Folgenden geben wir einen kurzen Einblick in mögliche Abschlussarbeitsthemen in unserer Arbeitsgruppe. Falls Sie sich für ein Thema interessieren oder mehr über ein Thema erfahren möchten, kontaktieren Sie bitte den Verantwortlichen für das Thema. Gemeinsam mit Ihnen werden wir herausfinden, ob das Thema für Sie geeignet ist und gegebenenfalls Alternativen mit Ihnen erarbeiten.

Evaluation der DaCapo Benchmark auf dem Runtime Monitoring System CliSeAu

Bachelorarbeit/Masterarbeit

Forschungsbereich: Optimierung von Runtime Verification
Kontakt: Prof. Dr. Marie-Christine Jakobs

In Kooperation mit Prof. Dr. Heiko Mantel

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Ranged Conditions

Masterarbeit

Forschungsbereich: Kombination von Verifikationsverfahren
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Kein Thema für Sie dabei

Bitte kontaktieren Sie uns direkt, damit wir gemeinsam ein Thema für Sie finden oder entwickeln können.

Inkrementelle Verifikation mittels Witness

Bachelorarbeit/Masterarbeit

Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Austausch des Abstraktionslevel zwischen Prädikat- und Valueanalyse

Bachelorarbeit

Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Condition Generierung für modulare Differenzverifikation

Bachelorarbeit/Masterarbeit

Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Inkrementelle k-Induktion

Bachelorarbeit/Masterarbeit

Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.