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.