Boosting k-Induction with Continuously-Refined Invariants. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (CAV (1), 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)

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

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. - Dirk Beyer 001; Matthias Dangl (CAV (2), 2016)

Witness validation and stepwise testification across software verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Andreas Stahlbauer (Software Engineering, 2016)

Correctness witnesses: exchanging verification results between verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (SIGSOFT FSE, 2016)

SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. - Dirk Beyer 001; Matthias Dangl (VSTTE, 2016)

Replication Package (Virtual Machine) for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2016)

Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2016)

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers". - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Zenodo, 2016)

Exchanging Verification Witnesses between Verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Software Engineering, 2017)

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. - Dirk Beyer 001; Matthias Dangl (ISoLA (2), 2018)

Tests from Witnesses - Execution-Based Validation of Verification Results. - Dirk Beyer 001; Matthias Dangl; Thomas Lemberger 002; Michael Tautschnig (TAP@STAF, 2018)

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

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art. - Dirk Beyer 001; Matthias Dangl (CoRR, 2019)

Reproduction Package for TACAS 2020 Article 'Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2019)

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2019)

Software Verification with PDR: An Implementation of the State of the Art. - Dirk Beyer 001; Matthias Dangl (TACAS (1), 2020)

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2020)

Reproduction Package for TOSEM Article 'Verification Witnesses'. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (Zenodo, 2020)

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

Verification Witnesses. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (ACM Trans. Softw. Eng. Methodol., 2022)

Witness-based validation of verification results with applications to software-model checking. - Matthias Dangl (2022)