Matthias Dangl

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 16

Top Topics

Signature Verification

Projective Invariants

Top Venues

J. Autom. Reason.

Software Engineering

Publications

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