| Strategies for product-line verification: Case studies and experiments S Apel, A Rhein, P Wendler, A Größlinger, D Beyer Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 234 | 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 | 225 | 2019 |
| Detection of feature interactions using feature-aware verification S Apel, H Speidel, P Wendler, A von Rhein, D Beyer Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011 | 186 | 2011 |
| Predicate abstraction with adjustable-block encoding D Beyer, ME Keremoglu, P Wendler Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010 | 180 | 2010 |
| Conditional Model Checking: A Technique to Pass Information between Verifiers D Beyer, TA Henzinger, ME Keremoglu, P Wendler | 134 | 2012 |
| Boosting k-Induction with Continuously-Refined Invariants D Beyer, M Dangl, P Wendler Computer Aided Verification, 622-640, 2015 | 119 | 2015 |
| A unifying view on SMT-based software verification D Beyer, M Dangl, P Wendler Journal of Automated Reasoning 60 (3), 299-335, 2018 | 90 | 2018 |
| 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 | 81 | 2013 |
| Benchmarking and Resource Measurement D Beyer, S Löwe, P Wendler | 79* | |
| CPAchecker with support for recursive programs and floating-point arithmetic M Dangl, S Löwe, P Wendler Tools and Algorithms for the Construction and Analysis of Systems, 423-425, 2015 | 56 | 2015 |
| Reuse of Verification Results D Beyer, P Wendler Model Checking Software, 1-17, 2013 | 47 | 2013 |
| Refinement Selection D Beyer, S Löwe, P Wendler Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 44 | 2015 |
| Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT D Beyer, P Wendler 12th International Conference on Formal Methods in Computer-Aided Design …, 2012 | 42 | 2012 |
| CPU Energy Meter: A tool for energy-aware algorithms engineering D Beyer, P Wendler International Conference on Tools and Algorithms for the Construction and …, 2020 | 29 | 2020 |
| 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, 228-243, 2015 | 23 | 2015 |
| Software Verification in the Google App-Engine Cloud D Beyer, G Dresler, P Wendler Computer Aided Verification, 327-333, 2014 | 22 | 2014 |
| CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses S Löwe, M Mandrykin, P Wendler Tools and Algorithms for the Construction and Analysis of Systems, 392-394, 2014 | 21 | 2014 |
| Program Analysis with Local Policy Iteration EG Karpenkov, D Monniaux, P Wendler Verification, Model Checking, and Abstract Interpretation, 127-146, 2016 | 20 | 2016 |
| Combining k-Induction with Continuously-Refined Invariants D Beyer, M Dangl, P Wendler arXiv preprint arXiv:1502.00096, 2015 | 17 | 2015 |
| CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis P Wendler Tools and Algorithms for the Construction and Analysis of Systems, 613-615, 2013 | 14 | 2013 |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
