Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University.https://doi.org/10.17619/UNIPB/1-1698 

Witschen, L. M. (2022). Frameworks and Methodologies for Search-based Approximate Logic Synthesis.https://doi.org/10.17619/UNIPB/1-1649 

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

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

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

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

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

Ho, N. (2018). FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn.https://doi.org/10.17619/UNIPB/1-376 

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

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

Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.

Hansmeier, T. (2017). An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn.

Witschen, L. M. (2017). A Framework for the Synthesis of Approximate Circuits. Universität Paderborn.

Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn.https://doi.org/10.17619/UNIPB/1-104 

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

Bröcher, H. (2016). Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn.

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

Zhang, G. (2016). Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn.

Meißner, R. (2015). Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs. Universität Paderborn.

Wu, S. (2014). Webcam application using virtual FPGA. Universität Paderborn.

Korth, P. (2014). Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn.

Klauke, C. (2014). Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn.

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

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

Drzevitzky, S. (2012). Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn.

Jakobs, M.-C. (2012). Change and Validity Analysis in Deductive Program Verification. Universität Paderborn.

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