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.

13 Publications


2019 | Mastersthesis | LibreCat-ID: 7623
Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 12885
Analyzing Data Usage in Array Programs
J.F. Haltermann, Analyzing Data Usage in Array Programs, 2019.
LibreCat | Files available
 

2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
 

2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

2011 | Mastersthesis | LibreCat-ID: 658
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
 

Filters and Search Terms

supervisor=573

Search

Filter Publications

Display / Sort

Export / Embed