Matthias Dangl

17 papers A 1C 2Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2022 J jnl
Verification Witnesses.
ACM Trans. Softw. Eng. Methodol.
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
2022 — —
Witness-based validation of verification results with applications to software-model checking.
Matthias Dangl
2021 J jnl
Correction to: A Unifying View on SMT-Based Software Verification.
J. Autom. Reason.
Dirk Beyer, Matthias Dangl, Philipp Wendler
2020 — conf
Software Verification with PDR: An Implementation of the State of the Art.
TACAS (1)
Dirk Beyer, Matthias Dangl
2019 J jnl
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.
CoRR
Dirk Beyer, Matthias Dangl
2018 J jnl
A Unifying View on SMT-Based Software Verification.
J. Autom. Reason.
Dirk Beyer, Matthias Dangl, Philipp Wendler
2018 — conf
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.
ISoLA (2)
Dirk Beyer, Matthias Dangl
2018 — conf
Tests from Witnesses - Execution-Based Validation of Verification Results.
TAP@STAF
Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
2017 C conf
Exchanging Verification Witnesses between Verifiers.
Software Engineering
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
2016 — conf
Correctness witnesses: exchanging verification results between verifiers.
SIGSOFT FSE
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
2016 — conf
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.
VSTTE
Dirk Beyer, Matthias Dangl
2016 — conf
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.
CAV (2)
Dirk Beyer, Matthias Dangl
2016 C conf
Witness validation and stepwise testification across software verifiers.
Software Engineering
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
2015 — conf
Boosting k-Induction with Continuously-Refined Invariants.
CAV (1)
Dirk Beyer, Matthias Dangl, Philipp Wendler
2015 A conf
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).
TACAS
Matthias Dangl, Stefan Löwe, Philipp Wendler
2015 J jnl
Combining k-Induction with Continuously-Refined Invariants.
CoRR
Dirk Beyer, Matthias Dangl, Philipp Wendler
2015 — conf
Witness validation and stepwise testification across software verifiers.
ESEC/SIGSOFT FSE
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer