Predicate abstraction with adjustable-block encoding. - Dirk Beyer 001; M. Erkan Keremoglu; Philipp Wendler (FMCAD, 2010)

Detection of feature interactions using feature-aware verification. - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (ASE, 2011)

Conditional Model Checking - Dirk Beyer 001; Thomas A. Henzinger; M. Erkan Keremoglu; Philipp Wendler (CoRR, 2011)

Feature-Aware Verification - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (CoRR, 2011)

Algorithms for software model checking: Predicate abstraction vs. Impact. - Dirk Beyer 001; Philipp Wendler (FMCAD, 2012)

Conditional model checking: a technique to pass information between verifiers. - Dirk Beyer 001; Thomas A. Henzinger; M. Erkan Keremoglu; Philipp Wendler (SIGSOFT FSE, 2012)

CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). - Stefan Löwe; Philipp Wendler (TACAS, 2012)

Strategies for product-line verification: case studies and experiments. - Sven Apel; Alexander von Rhein; Philipp Wendler; Armin Größlinger; Dirk Beyer 001 (ICSE, 2013)

Precision reuse for efficient regression verification. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (ESEC/SIGSOFT FSE, 2013)

Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. - Dirk Beyer 001; Philipp Wendler (SPIN, 2013)

CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution). - Philipp Wendler (TACAS, 2013)

Reusing Precisions for Efficient Regression Verification - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (CoRR, 2013)

Software Verification in the Google App-Engine Cloud. - Dirk Beyer 001; Georg Dresler; Philipp Wendler (CAV, 2014)

Precision Reuse in CPAchecker. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (Software Engineering, 2014)

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). - Stefan Löwe; Mikhail U. Mandrykin; Philipp Wendler (TACAS, 2014)

Boosting k-Induction with Continuously-Refined Invariants. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (CAV (1), 2015)

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (FORTE, 2015)

Refinement Selection. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (SPIN, 2015)

Benchmarking and Resource Measurement. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (SPIN, 2015)

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). - Matthias Dangl; Stefan Löwe; Philipp Wendler (TACAS, 2015)

Combining k-Induction with Continuously-Refined Invariants. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (CoRR, 2015)

Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (CoRR, 2015)

Reproduction Package (Virtual Machine) for CAV 2015 Article 'Boosting k‑Induction with Continuously‑Refined Invariants'. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (Zenodo, 2015)

Program Analysis with Local Policy Iteration. - Egor George Karpenkov; David Monniaux; Philipp Wendler (VMCAI, 2016)

Beiträge zu praktikabler Prkatenanalyse. - Philipp Wendler (Ausgezeichnete Informatikdissertationen, 2017)

Towards Practical Predicate Analysis. - Philipp Wendler (2017)

A Unifying View on SMT-Based Software Verification. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (J. Autom. Reason., 2018)

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). - Dirk Beyer 001; Thomas Lemberger 002; Philipp Wendler (Zenodo, 2018)

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). - Dirk Beyer 001; Thomas Lemberger 002; Philipp Wendler (Zenodo, 2018)

sosy-lab/benchexec: Release 1.16. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2018)

sosy-lab/benchexec: Release 1.17. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2018)

Reliable benchmarking: requirements and solutions. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (Int. J. Softw. Tools Technol. Transf., 2019)

sosy-lab/benchexec: Release 1.18. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.19. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.20. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.21. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.22. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.0. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.2. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.1. - Philipp Wendler; Dirk Beyer 001; Aditya Arora (Zenodo, 2019)

sosy-lab/benchexec: Release 2.3. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.5. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.5.1. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. - Dirk Beyer 001; Philipp Wendler (TACAS (2), 2020)

Reproduction Artifact for TACAS 2020 Article 'CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering'. - Dirk Beyer 001; Philipp Wendler (Zenodo, 2020)

CPAchecker Release 1.9.1 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2020)

sosy-lab/benchexec: Release 2.6. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 2.7. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.0. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.1. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.2. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.3. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

Reproduction Package for TACAS 2021 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2020)

CPAchecker Release 2.0 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2020)

sosy-lab/benchexec: Release 3.4. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.5. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.6. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

Correction to: A Unifying View on SMT-Based Software Verification. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (J. Autom. Reason., 2021)

sosy-lab/benchexec: Release 3.7. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

sosy-lab/benchexec: Release 3.8. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

Reproduction Package for ICSE 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2021)

sosy-lab/benchexec: Release 3.9. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

CPAchecker Release 2.1 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2021)

sosy-lab/benchexec: Release 3.10. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

Correction to: Reliable benchmarking: requirements and solutions. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (Int. J. Softw. Tools Technol. Transf., 2022)

CPAchecker Release 2.1.1 (unix). - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim; Philipp Wendler (Zenodo, 2022)

Reproduction Package for CAV 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2022)

sosy-lab/benchexec: Release 3.11. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

sosy-lab/benchexec: Release 3.12. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package for JAR Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2022)

sosy-lab/benchexec: Release 3.13. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

CPAchecker Release 2.2 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2022)

sosy-lab/benchexec: Release 3.14. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

sosy-lab/benchexec: Release 3.15. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

sosy-lab/benchexec: Release 3.16. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

sosy-lab/benchexec: Release 3.17. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

Reproduction Package for JAR Article 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2023)

sosy-lab/benchexec: Release 3.18. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

CPAchecker 2.2.1-svn-44999 (SV-COMP24 Prerun). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2023)

CPAchecker 2.3 (SV-COMP24 Submission). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2023)

CPAchecker Release 2.3 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2023)

sosy-lab/benchexec: Release 3.19. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

sosy-lab/benchexec: Release 3.20. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

Software Verification with CPAchecker 3.0: Tutorial and User Guide. - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (FM (2), 2024)

Regression-Test History Data for Flaky-Test Research. - Philipp Wendler; Stefan Winter 001 (FTW@ICSE, 2024)

CPAchecker 2.3 with Strategy Selection - (Competition Contribution). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Martin Spiessl; Henrik Wachowitz; Philipp Wendler (TACAS (3), 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (CoRR, 2024)

sosy-lab/benchexec: Release 3.21. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

CPAchecker Release 2.3.1 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 2.3.1 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 2.4 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 2.4 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

sosy-lab/benchexec: Release 3.22. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.23. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 3.0 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 3.0 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

sosy-lab/benchexec: Release 3.24. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

sosy-lab/benchexec: Release 3.25. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker Release 4.0 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 4.0 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

sosy-lab/benchexec: Release 3.26. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.27. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.28. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2025)

sosy-lab/benchexec: Release 3.29. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2025)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (J. Autom. Reason., 2025)