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
1822013
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
1512011
Predicate abstraction with adjustable-block encoding
D Beyer, ME Keremoglu, P Wendler
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010
1412010
Conditional Model Checking: A Technique to Pass Information between Verifiers
D Beyer, TA Henzinger, ME Keremoglu, P Wendler
992012
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
712019
Boosting k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
Computer Aided Verification, 622-640, 2015
712015
Benchmarking and Resource Measurement
D Beyer, S Löwe, P Wendler
69*
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
512013
A unifying view on SMT-based software verification
D Beyer, M Dangl, P Wendler
Journal of Automated Reasoning 60 (3), 299-335, 2018
412018
Reuse of Verification Results
D Beyer, P Wendler
Model Checking Software, 1-17, 2013
402013
Refinement Selection
D Beyer, S Löwe, P Wendler
Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015
352015
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
292015
Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT
D Beyer, P Wendler
12th International Conference on Formal Methods in Computer-Aided Design …, 2012
282012
Software Verification in the Google App-Engine Cloud
D Beyer, G Dresler, P Wendler
Computer Aided Verification, 327-333, 2014
192014
Program Analysis with Local Policy Iteration
EG Karpenkov, D Monniaux, P Wendler
Verification, Model Checking, and Abstract Interpretation, 127-146, 2016
182016
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
172015
Combining k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
arXiv preprint arXiv:1502.00096, 2015
142015
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
142014
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
112013
Conditional Model Checking
D Beyer, TA Henzinger, ME Keremoglu, P Wendler
Arxiv preprint arXiv:1109.6926, 2011
112011
The system can't perform the operation now. Try again later.
Articles 1–20