| Explicit-state software model checking based on CEGAR and interpolation D Beyer, S Löwe International Conference on Fundamental Approaches to Software Engineering …, 2013 | 131 | 2013 |
| Reliable benchmarking: requirements and solutions D Beyer, S Löwe, P Wendler International Journal on Software Tools for Technology Transfer 21 (1), 1-29, 2019 | 107 | 2019 |
| Benchmarking and resource measurement D Beyer, S Löwe, P Wendler International SPIN Workshop on Model Checking of Software, 160-178, 2015 | 71 | 2015 |
| Precision reuse for efficient regression verification D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 55 | 2013 |
| Refinement selection D Beyer, S Löwe, P Wendler International SPIN Workshop on Model Checking of Software, 20-38, 2015 | 39 | 2015 |
| 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 | 38 | 2015 |
| Sliced path prefixes: An effective method to enable refinement selection D Beyer, S Löwe, P Wendler International Conference on Formal Techniques for Distributed Objects …, 2015 | 21 | 2015 |
| CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses S Löwe, M Mandrykin, P Wendler International Conference on Tools and Algorithms for the Construction and …, 2014 | 15 | 2014 |
| CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation S Löwe International Conference on Tools and Algorithms for the Construction and …, 2013 | 10 | 2013 |
| CPAchecker with Adjustable Predicate Analysis S Löwe, P Wendler International Conference on Tools and Algorithms for the Construction and …, 2012 | 7 | 2012 |
| Explicit-value analysis based on CEGAR and interpolation D Beyer, S Löwe arXiv preprint arXiv:1212.6542, 2012 | 6 | 2012 |
| Effective approaches to abstraction refinement for automatic software verification S Löwe Universität Passau, 2017 | 4 | 2017 |
| Domain-type-guided refinement selection based on sliced path prefixes D Beyer, S Löwe, P Wendler arXiv preprint arXiv:1502.00045, 2015 | 4 | 2015 |
| Interpolation for value analysis D Beyer, S Löwe Software-engineering and management 2015, 2015 | 4 | 2015 |
| Reusing precisions for efficient regression verification D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler arXiv preprint arXiv:1305.6915, 2013 | 2 | 2013 |
| CPA-RefSel: CPAchecker with Refinement Selection S Löwe International Conference on Tools and Algorithms for the Construction and …, 2016 | 1 | 2016 |
| Precision Reuse in CPAchecker. D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler Software Engineering, 41-42, 2014 | | 2014 |
| Proc. SPIN 2015,(c) Springer D Beyer, S Löwe, P Wendler | | |
| CPAchecker with Dynamically Adjustable Predicate Analysis S Löwe, P Wendler | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
