On the Membership and Correctness Problem for State Serializability and Value Opacity
J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.

Cooperative Android App Analysis
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.

Android App Analysis Benchmark Case Generation
S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021.

Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.

Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, Universität Paderborn, 2019.

Analyzing Data Usage in Array Programs
J.F. Haltermann, Analyzing Data Usage in Array Programs, 2019.

Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.

Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.

Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.

Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.

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

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

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

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

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

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

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