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. (2023). Cooperative Android App Analysis. Paderborn University. https://doi.org/10.17619/UNIPB/1-1698
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 47833
König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.
LibreCat
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