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