Follow
Philipp Wendler
Title
Cited by
Cited by
Year
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
2242013
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
1792011
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
1732019
Predicate abstraction with adjustable-block encoding
D Beyer, ME Keremoglu, P Wendler
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010
1702010
Conditional Model Checking: A Technique to Pass Information between Verifiers
D Beyer, TA Henzinger, ME Keremoglu, P Wendler
1302012
Boosting k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
Computer Aided Verification, 622-640, 2015
1062015
A unifying view on SMT-based software verification
D Beyer, M Dangl, P Wendler
Journal of Automated Reasoning 60 (3), 299-335, 2018
812018
Benchmarking and Resource Measurement
D Beyer, S Löwe, P Wendler
75*
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
742013
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
502015
Reuse of Verification Results
D Beyer, P Wendler
Model Checking Software, 1-17, 2013
462013
Refinement Selection
D Beyer, S Löwe, P Wendler
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
412015
Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT
D Beyer, P Wendler
12th International Conference on Formal Methods in Computer-Aided Design …, 2012
412012
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
242020
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
232015
Software Verification in the Google App-Engine Cloud
D Beyer, G Dresler, P Wendler
Computer Aided Verification, 327-333, 2014
212014
Program Analysis with Local Policy Iteration
EG Karpenkov, D Monniaux, P Wendler
Verification, Model Checking, and Abstract Interpretation, 127-146, 2016
202016
Combining k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
arXiv preprint arXiv:1502.00096, 2015
162015
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
162014
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
132013
The system can't perform the operation now. Try again later.
Articles 1–20