Matthias Dangl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TACAS | Software Verification with PDR: An Implementation of the State of the Art. | Dirk Beyer, Matthias Dangl |
| 2018 | ISoLA | Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. | Dirk Beyer, Matthias Dangl |
| 2018 | TAP | Tests from Witnesses - Execution-Based Validation of Verification Results. | Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig |
| 2016 | CAV | Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. | Dirk Beyer, Matthias Dangl |
| 2015 | CAV | Boosting k-Induction with Continuously-Refined Invariants. | Dirk Beyer, Matthias Dangl, Philipp Wendler |
| 2015 | TACAS | CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). | Matthias Dangl, Stefan Lwe, Philipp Wendler |