Statistics
Publications
5
Citations
297
H-Index
5
Active since
2015
Matthias Dangl is an author at Ludwig-Maximilians-Universität München specializing in verification, computing, and formal methods.
Publications per year
2015–2022
5
5
Witness validation and stepwise testification across software verifiers
Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2015 · 94 citations
Correctness witnesses: exchanging verification results between verifiers
Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2016 · 89 citations
Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · ACM Transactions on Software Engineering and Methodology · 2022 · 38 citations · Full text
Tests from Witnesses - Execution-Based Validation of Verification Results.
Dirk Beyer, Matthias Dangl, Thomas R. Lemberger et al. · 2018 · 14 citations
1–5 of 5