F. Pauck, Cooperative Android App Analysis. Paderborn University, 2023.
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

L. M. Witschen, Frameworks and Methodologies for Search-based Approximate Logic Synthesis. 2022.
LibreCat: /record/34041
DOI: 10.17619/UNIPB/1-1649

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

S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021.
LibreCat: /record/22304

S. Zhang, Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.
LibreCat: /record/7623

N. Selbach, Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn, 2019.
LibreCat: /record/7628

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

N. Ho, FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn, 2018.
LibreCat: /record/3720
DOI: 10.17619/UNIPB/1-376

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

J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat: /record/1045

F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat: /record/1097

T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat: /record/3580

L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat: /record/1157

M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017.
LibreCat: /record/109

H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat: /record/201

T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat: /record/1190

G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat: /record/162

R. Meißner, Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs. Universität Paderborn, 2015.
LibreCat: /record/10714

S. Wu, Webcam application using virtual FPGA. Universität Paderborn, 2014.
LibreCat: /record/331