Philipp Wendler

According to our database, Philipp Wendler authored at least 32 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2022

Correction to: Reliable benchmarking: requirements and solutions.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Int. J. Softw. Tools Technol. Transf., 2022

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.

Dirk Beyer, Nian-Ze Lee, Philipp Wendler

CoRR, 2022

2021

Correction to: A Unifying View on SMT-Based Software Verification.

Dirk Beyer, Matthias Dangl, Philipp Wendler

J. Autom. Reason., 2021

2020

CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering.

Dirk Beyer, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Reliable benchmarking: requirements and solutions.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Int. J. Softw. Tools Technol. Transf., 2019

2018

A Unifying View on SMT-Based Software Verification.

Dirk Beyer, Matthias Dangl, Philipp Wendler

J. Autom. Reason., 2018

2017

Towards Practical Predicate Analysis.

Philipp Wendler

PhD thesis, 2017

Beiträge zu praktikabler Prkatenanalyse.

Philipp Wendler

Proceedings of the Ausgezeichnete Informatikdissertationen 2017, 2017

2016

Program Analysis with Local Policy Iteration.

Egor George Karpenkov, David Monniaux, Philipp Wendler

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes.

Dirk Beyer, Stefan Löwe, Philipp Wendler

CoRR, 2015

Combining k-Induction with Continuously-Refined Invariants.

Dirk Beyer, Matthias Dangl, Philipp Wendler

CoRR, 2015

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).

Matthias Dangl, Stefan Löwe, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Benchmarking and Resource Measurement.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Refinement Selection.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.

Dirk Beyer, Stefan Löwe, Philipp Wendler

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Boosting k-Induction with Continuously-Refined Invariants.

Dirk Beyer, Matthias Dangl, Philipp Wendler

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).

Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Precision Reuse in CPAchecker.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Software Verification in the Google App-Engine Cloud.

Dirk Beyer, Georg Dresler, Philipp Wendler

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Reusing Precisions for Efficient Regression Verification

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

CoRR, 2013

CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution).

Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.

Dirk Beyer, Philipp Wendler

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Precision reuse for efficient regression verification.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Strategies for product-line verification: case studies and experiments.

Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

CPAchecker with Adjustable Predicate Analysis - (Competition Contribution).

Stefan Löwe, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Conditional model checking: a technique to pass information between verifiers.

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Algorithms for software model checking: Predicate abstraction vs. Impact.

Dirk Beyer, Philipp Wendler

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Feature-Aware Verification

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer

CoRR, 2011

Conditional Model Checking

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler

CoRR, 2011

Detection of feature interactions using feature-aware verification.

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Predicate abstraction with adjustable-block encoding.

Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010