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 | 
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