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

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

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

Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020.
LibreCat: /record/19999

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

Haltermann JF. Analyzing Data Usage in Array Programs.; 2019.
LibreCat: /record/12885

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

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

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

Walther S. Knowledge-Based Verification of Service Compositions. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-307
LibreCat: /record/707
DOI: 10.17619/UNIPB/1-307

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

Pauck F. Cooperative Static Analysis of Android Applications. Universität Paderborn; 2017.
LibreCat: /record/109

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

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

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

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

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