M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.

F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017.

T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016.

G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.

F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.

N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.

A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.