Abschlussarbeiten in der Arbeitsgruppe Semantik und Verifikation paralleler Systeme

Abschlussarbeiten

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.

Wiederverwendung von Gegenbeispielen in der Valueanalyse

Bachelorarbeit/Masterarbeit

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

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

Prädikatpräzision aus der Valueanalyse

Bachelorarbeit/Masterarbeit

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

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

Nutzung von Summaries zur Reverifikation mit Valueanalyse

Bachelorarbeit/Masterarbeit

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

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

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.

In Bearbeitung

Eigenschaftsbasierte Differenzverifikation mit Conditions

Bachelorarbeit/Masterarbeit

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

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

Nutzung von Valuepräzision in CPA-SymExec

Bachelorarbeit

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

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

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.

Inkrementelle CEGAR-basierte symbolische Ausführung

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.