Philipp Wendler

Reliable benchmarking: requirements and solutions

Dirk Beyer, Stefan Löwe, Philipp Wendler · International Journal on Software Tools for Technology Transfer · 2017 · 195 citations · Full text

Performance Benchmarking, Engineering, Verification +21

Strategies for product-line verification: case studies and experiments

Sven Apel, Alexander von Rhein, Philipp Wendler et al. · International Conference on Software Engineering · 2013 · 143 citations

Software Maintenance, Engineering, Verification +23

Detection of feature interactions using feature-aware verification

Sven Apel, Hendrik Speidel, Philipp Wendler et al. · 2011 · 129 citations

Engineering, Feature Detection, Verification +23

Predicate abstraction with adjustable-block encoding

Dirk Beyer, M. Erkan Keremoğlu, Philipp Wendler · Formal Methods in Computer-Aided Design · 2010 · 112 citations

Program Checking, Engineering, Verification +23

Strategies for product-line verification: Case studies and experiments

Sven Apel, Alexander von Rhein, Philipp Wendler et al. · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 78 citations

Software Maintenance, Engineering, Verification +23