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


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

2023 | Dissertation | LibreCat-ID: 47833
König J. On the Membership and Correctness Problem for State Serializability and Value Opacity.; 2023.
LibreCat
 

2021 | Mastersthesis | LibreCat-ID: 22304 | OA
Schott S. Android App Analysis Benchmark Case Generation. Paderborn; 2021.
LibreCat | Files available
 

2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 7623
Zhang S. Combining Android Apps for Analysis Purposes. Universität Paderborn; 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 12885
Haltermann JF. Analyzing Data Usage in Array Programs.; 2019.
LibreCat | Files available
 

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

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

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

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

2017 | Dissertation | LibreCat-ID: 685
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 | Files available | DOI
 

2017 | Mastersthesis | LibreCat-ID: 109 | OA
Pauck F. Cooperative Static Analysis of Android Applications. Universität Paderborn; 2017.
LibreCat | Files available
 

2016 | Dissertation | LibreCat-ID: 1190
Isenberg T. Induction-Based Verification of Timed Systems. Universität Paderborn; 2016.
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 246
Besova G. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn; 2015.
LibreCat | Files available
 

2014 | Bachelorsthesis | LibreCat-ID: 418 | OA
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat | Files available
 

2013 | Dissertation | LibreCat-ID: 478
Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013.
LibreCat | Files available
 

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

Filters and Search Terms

supervisor=573

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed