27 Publications
2023 | Dissertation | LibreCat-ID: 43108
Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023, doi:10.17619/UNIPB/1-1698.
LibreCat
| DOI
2022 | Dissertation | LibreCat-ID: 34041
Witschen, Linus Matthias. Frameworks and Methodologies for Search-Based Approximate Logic Synthesis. 2022, doi:10.17619/UNIPB/1-1649.
LibreCat
| DOI
2021 | Dissertation | LibreCat-ID: 26746 | 
Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University, 2021.
LibreCat
| Download (ext.)
2021 | Mastersthesis | LibreCat-ID: 22304 |
Schott, Stefan. Android App Analysis Benchmark Case Generation. 2021.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 7623
Zhang, Shikun. Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 7628
Selbach, Nils. Modeling Crypto API Usages in OpenSSL’s EVP Library. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati, Monica. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn, 2019.
LibreCat
2018 | Dissertation | LibreCat-ID: 3720
Ho, Nam. FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn, 2018, doi:10.17619/UNIPB/1-376.
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
Hansmeier, Tim. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, Linus Matthias. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 685
Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 109 |
Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 201
Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 1190
Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 10714
Meißner, Roland. Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs. Universität Paderborn, 2015.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
Wu, Sen. Webcam Application Using Virtual FPGA. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke, Christoph. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 418 |
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2012 | Dissertation | LibreCat-ID: 586 |
Drzevitzky, Stephanie. Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn, 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs, Marie-Christine. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat