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.

Our current research

Theses

No Topic Found

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

In Process

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.

Utilizing Predicate Precision in k-Induction

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

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.

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.

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.

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.

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.