Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
17 Publications
2017 | Dissertation | LibreCat-ID: 685
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
2017 | Mastersthesis | LibreCat-ID: 109 |
Cooperative static analysis of Android applications
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
LibreCat
| Files available
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
2016 | Dissertation | LibreCat-ID: 1190
Induction-based Verification of Timed Systems
T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.
LibreCat
| Files available
T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.
2015 | Dissertation | LibreCat-ID: 246
Systematic Development and Re-Use of Model Tranformations
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
LibreCat
| Files available
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
2014 | Bachelorsthesis | LibreCat-ID: 418 |
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
LibreCat
| Files available
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
2013 | Dissertation | LibreCat-ID: 478
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
LibreCat
| Files available
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
2011 | Mastersthesis | LibreCat-ID: 658
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.