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

König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.
LibreCat: /record/47833

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

Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat: /record/19999

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

Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs.
LibreCat: /record/12885

Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat: /record/10105

Rautenberg, K. (2018). Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn.
LibreCat: /record/3320

Börding, P. (2017). Testing Java Method Contracts. Universität Paderborn.
LibreCat: /record/3512

Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn.https://doi.org/10.17619/UNIPB/1-307 
LibreCat: /record/707
DOI: 10.17619/UNIPB/1-307

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 
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

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

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

Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. Universität Paderborn.
LibreCat: /record/246

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

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

Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
LibreCat: /record/658