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

Explicit-Value Analysis Based on CEGAR and Interpolation - Dirk Beyer 001; Stefan Löwe (CoRR, 2012)

Explicit-State Software Model Checking Based on CEGAR and Interpolation. - Dirk Beyer 001; Stefan Löwe (FASE, 2013)

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

CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). - Stefan Löwe (TACAS, 2013)

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

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)

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

Interpolation for Value Analysis. - Dirk Beyer 001; Stefan Löwe (Software Engineering & Management, 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)

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

CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). - Stefan Löwe (TACAS, 2016)

Effective Approaches to Abstraction Refinement for Automatic Software Verification. - Stefan Löwe (2017)

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

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