Thesis topics at Semantics and Verification of Parallel Systems

Theses

Typically, we offer thesis topics in the area of our current research. Before looking at our thesis topics you might consider to inform yourself about our current research.

Subsequently we give a short overview on our thesis topics. If you are interested in a topic or need more information, please contact the responsible supervisor. Together you will elaborate if the topic matches your interests and skills. If this is not the case, we will try to find an alternative that fits you well.

Counterexample Reuse for Value Analysis

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Generating Predicate Precision in Value Analysis

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Summary Reuse for Value Analysis

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Ranged Conditions

Master Thesis

Research Area: Combination of Verification Approaches
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

No Topic Found

Please contact us directly. In cooperation with you, we will try to find a topic for your.

In Process

Evaluating the Runtime Monitoring System CliSeAu on the DaCapo Benchmark

Bachelor Thesis/Master Thesis

Research Area: Optimizing Runtime Verification
Contact: Prof. Dr. Marie-Christine Jakobs

In cooperation with Prof. Dr. Heiko Mantel

Access restricted section: Log in to see this section.

Property-aware Difference Verification with Conditions

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Reusing Value Precisions in CPA-SymExec

Bachelor Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Precisions from Witnesses

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Precision Reuse for CPA-SymExec

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Incremental k-Induction

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.