| 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 | 199 | 2013 |
| 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 | 164 | 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 | 152 | 2010 |
| Conditional Model Checking: A Technique to Pass Information between Verifiers D Beyer, TA Henzinger, ME Keremoglu, P Wendler | 109 | 2012 |
| 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 |
| Boosting k-Induction with Continuously-Refined Invariants D Beyer, M Dangl, P Wendler Computer Aided Verification, 622-640, 2015 | 76 | 2015 |
| Benchmarking and Resource Measurement D Beyer, S Löwe, P Wendler | 71* | |
| 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 |
| A unifying view on SMT-based software verification D Beyer, M Dangl, P Wendler Journal of Automated Reasoning 60 (3), 299-335, 2018 | 54 | 2018 |
| Reuse of Verification Results D Beyer, P Wendler Model Checking Software, 1-17, 2013 | 41 | 2013 |
| Refinement Selection D Beyer, S Löwe, P Wendler Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 39 | 2015 |
| 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 | 38 | 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 | 33 | 2012 |
| 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 | 21 | 2015 |
| Program Analysis with Local Policy Iteration EG Karpenkov, D Monniaux, P Wendler Verification, Model Checking, and Abstract Interpretation, 127-146, 2016 | 19 | 2016 |
| Software Verification in the Google App-Engine Cloud D Beyer, G Dresler, P Wendler Computer Aided Verification, 327-333, 2014 | 19 | 2014 |
| 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 | 15 | 2020 |
| 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 | 15 | 2014 |
| Combining k-Induction with Continuously-Refined Invariants D Beyer, M Dangl, P Wendler arXiv preprint arXiv:1502.00096, 2015 | 14 | 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 | 12 | 2013 |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
