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: 47833
König J. On the Membership and Correctness Problem for State Serializability and Value Opacity.; 2023.
LibreCat
2023 | Dissertation | LibreCat-ID: 43108
Pauck F. Cooperative Android App Analysis. Paderborn University; 2023. doi:10.17619/UNIPB/1-1698
LibreCat
| DOI
2021 | Mastersthesis | LibreCat-ID: 22304 | 
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 |
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 |
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