Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104.

Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.

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

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

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

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