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.

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.

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.

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.

No Topic Found

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

In Process

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.

Exchanging Precisions between Predicate and Value Analysis

Bachelor Thesis

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

Access restricted section: Log in to see this section.

Beyond Syntactic, Differential Conditions for Modular Differential Software Verification

Bachelor Thesis/Master Thesis

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

Access restricted section: Log in to see this section.

Structural Test Goal Reduction in CoVeriTest

Bachelor Thesis/Master Thesis

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

Access restricted section: Log in to see this section.