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.