@bookPauck_2023, title=Cooperative Android App Analysis, DOI=10.17619/UNIPB/1-1698, publisher=Paderborn University, author=Pauck, Felix, year=2023 

@bookKönig_2023, title=On the Membership and Correctness Problem for State Serializability and Value Opacity, author=König, Jürgen, year=2023 

@bookSchott_2021, place=Paderborn, title=Android App Analysis Benchmark Case Generation, author=Schott, Stefan, year=2021 

@bookMayer_2020, title=Optimierung von JMCTest beim Testen von Inter Method Contracts, publisher=Universität Paderborn, author=Mayer, Stefan, year=2020 

@bookZhang_2019, title=Combining Android Apps for Analysis Purposes, publisher=Universität Paderborn, author=Zhang, Shikun, year=2019 

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, author=Haltermann, Jan Frederik, year=2019 

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, publisher=Universität Paderborn, author=Haltermann, Jan, year=2019 

@bookRautenberg_2018, title=Korrektheitsbeweise für Muster von Servicekompositionen, publisher=Universität Paderborn, author=Rautenberg, Kai, year=2018 

@bookBörding_2017, title=Testing Java Method Contracts, publisher=Universität Paderborn, author=Börding, Paul, year=2017 

@bookWalther_2017, title=Knowledge-based Verification of Service Compositions, DOI=10.17619/UNIPB/1-307, publisher=Universität Paderborn, author=Walther, Sven, year=2017 

@bookJakobs_2017, title=On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, DOI=10.17619/UNIPB/1-104, publisher=Universität Paderborn, author=Jakobs, Marie-Christine, year=2017 

@bookPauck_2017, title=Cooperative static analysis of Android applications, publisher=Universität Paderborn, author=Pauck, Felix, year=2017 

@bookIsenberg_2016, title=Induction-based Verification of Timed Systems, publisher=Universität Paderborn, author=Isenberg, Tobias, year=2016 

@bookBesova_2015, title=Systematic Development and Re-Use of Model Tranformations, publisher=Universität Paderborn, author=Besova, Galina, year=2015 

@bookPauck_2014, title=Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, publisher=Universität Paderborn, author=Pauck, Felix, year=2014 

@bookTimm_2013, title=Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, publisher=Universität Paderborn, author=Timm, Nils, year=2013 

@bookSchremmer_2011, title=Function Specification Inference Using Craig Interpolation, publisher=Universität Paderborn, author=Schremmer, Alexander, year=2011