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.