| Explicit-state software model checking based on CEGAR and interpolation D Beyer, S Löwe Fundamental Approaches to Software Engineering: 16th International …, 2013 | 139 | 2013 |
| Reliable benchmarking: requirements and solutions D Beyer, S Löwe, P Wendler International Journal on Software Tools for Technology Transfer 21, 1-29, 2019 | 137 | 2019 |
| Benchmarking and resource measurement D Beyer, S Löwe, P Wendler Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 73 | 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 | 67 | 2013 |
| CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic: (Competition Contribution) M Dangl, S Löwe, P Wendler Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 42 | 2015 |
| Refinement selection D Beyer, S Löwe, P Wendler Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 40 | 2015 |
| Sliced path prefixes: An effective method to enable refinement selection D Beyer, S Löwe, P Wendler Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015 | 22 | 2015 |
| CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses: (Competition Contribution) S Löwe, M Mandrykin, P Wendler Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 16 | 2014 |
| CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation: (Competition Contribution) S Löwe Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 10 | 2013 |
| Explicit-value analysis based on CEGAR and interpolation D Beyer, S Löwe arXiv preprint arXiv:1212.6542, 2012 | 7 | 2012 |
| CPAchecker with Adjustable Predicate Analysis: (Competition Contribution) S Löwe, P Wendler Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 7 | 2012 |
| Effective approaches to abstraction refinement for automatic software verification S Löwe Universität Passau, 2017 | 5 | 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: (Competition Contribution) S Löwe Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 1 | 2016 |
| Correction to: Reliable benchmarking: requirements and solutions D Beyer, S Löwe, P Wendler International Journal on Software Tools for Technology Transfer 24 (4), 661-661, 2022 | | 2022 |
| Reliable benchmarking: requirements and solutions (vol 21, pg 1, 2019) D Beyer, S Loewe, P Wendler INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 24 (4), 661-661, 2022 | | 2022 |
| 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 | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
