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. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.
LibreCat
2023 | Dissertation | LibreCat-ID: 43108
Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University. https://doi.org/10.17619/UNIPB/1-1698
LibreCat
| DOI
2021 | Mastersthesis | LibreCat-ID: 22304 | 
Schott, S. (2021). Android App Analysis Benchmark Case Generation. Paderborn.
LibreCat
| Files available
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 7623
Zhang, S. (2019). Combining Android Apps for Analysis Purposes. Universität Paderborn.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 12885
Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, K. (2018). Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 3512
Börding, P. (2017). Testing Java Method Contracts. Universität Paderborn.
LibreCat
2017 | Dissertation | LibreCat-ID: 707
Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-307
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 685
Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 109 |
Pauck, F. (2017). Cooperative static analysis of Android applications. Universität Paderborn.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 1190
Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 246
Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. Universität Paderborn.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 418 |
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat
| Files available
2013 | Dissertation | LibreCat-ID: 478
Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn.
LibreCat
| Files available
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
LibreCat