Software and Computational Systems Lab - Dr. Philipp Wendler, LMU Munich

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Please send me encrypted mails!
My GPG key: 0x31A9DE8C
Fingerprint: 19D5 A10B 2D97 88D8 7CBE E5ED 62C0 F78C 31A9 DE8C

Available topics

Refinement Selection with Adjustable-Block Encoding [1, 2, 3]

Heuristics for Selecting Predicates for Partial Predicate Abstraction [1]

Currently assigned topics

Improve analysis of Java programs in CPAchecker

Improve predicate analysis based on domain-type of variables in CPAchecker [1, 2]

Verification Coverage: what parts of a program are covered by a verifier? [1]

Improve usability of summary tab for HTML tables of BenchExec [1]

Finished topics

String analysis in CPAchecker [1, 2]

LTL software model checking

A JavaScript frontend for CPAchecker

Support for exceptions in the Java analysis of CPAchecker

Towards understandability of verification result: visualization of graphs produced by verifiers

Predicate analysis based on splitting states for CPAchecker [1, 2]

Good, bad, ugly interpolants. Measure interpolants and build heuristics. Topic might be related to refinement selection. [1]

Modern architecture and tests for HTML tables of BenchExec [1]

If you're a student interested in writing your thesis at our chair, you should also have a look at our full list of currently available theses.

Employee Representative in the steering committee of the Institute of Informatics at LMU