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

L. M. Witschen, Frameworks and Methodologies for Search-based Approximate Logic Synthesis. 2022.

T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.

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

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

N. Selbach, Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn, 2019.

M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn, 2019.

N. Ho, FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn, 2018.

R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.

J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.