| Witness Validation and Stepwise Testification across Software Verifiers D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer | 135 | 2015 |
| Boosting k-Induction with Continuously-Refined Invariants D Beyer, M Dangl, P Wendler International Conference on Computer Aided Verification, 622-640, 2015 | 119 | 2015 |
| Correctness witnesses: Exchanging verification results between verifiers D Beyer, M Dangl, D Dietsch, M Heizmann Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 115 | 2016 |
| A Unifying View on SMT-Based Software Verification D Beyer, M Dangl, P Wendler J. Autom. Reasoning, 2017 | 91 | 2017 |
| CPAchecker with support for recursive programs and floating-point arithmetic M Dangl, S Löwe, P Wendler International Conference on Tools and Algorithms for the Construction and …, 2015 | 56 | 2015 |
| Tests from Witnesses D Beyer, M Dangl, T Lemberger, M Tautschnig International Conference on Tests and Proofs, 3-23, 2018 | 53 | 2018 |
| Verification witnesses D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig ACM Transactions on Software Engineering and Methodology, 2022 | 38 | 2022 |
| Strategy Selection for Software Verification Based on Boolean Features D Beyer, M Dangl International Symposium on Leveraging Applications of Formal Methods, 144-159, 2018 | 37 | 2018 |
| Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses D Beyer, M Dangl International Conference on Computer Aided Verification, 502-509, 2016 | 25 | 2016 |
| Software Verification with PDR: An Implementation of the State of the Art D Beyer, M Dangl International Conference on Tools and Algorithms for the Construction and …, 2020 | 19 | 2020 |
| SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms D Beyer, M Dangl Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 11 | 2016 |
| Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art D Beyer, M Dangl arXiv preprint arXiv:1908.06271, 2019 | 3 | 2019 |
| Correction to: A Unifying View on SMT-Based Software Verification D Beyer, M Dangl, P Wendler Journal of Automated Reasoning 65 (3), 461-461, 2021 | 1 | 2021 |
| Exchanging Verification Witnesses between Verifiers D Beyer, M Dangl, D Dietsch, M Heizmann Software Engineering 2017, 2017 | 1 | 2017 |
| A Unifying View on SMT-Based Software Verification (vol 60, pg 299, 2018) D Beyer, M Dangl, P Wendler JOURNAL OF AUTOMATED REASONING 65 (3), 461-461, 2021 | | 2021 |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
