Philipp Wendler

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 9

Top Venues

CoRR

TACAS

Int. J. Softw. Tools Technol. Transf.

J. Autom. Reason.

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

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
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) (2024)
Dirk Beyer, Nian-Ze Lee, Philipp Wendler
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. CoRR (2022)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Correction to: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Dirk Beyer, Matthias Dangl, Philipp Wendler
Correction to: A Unifying View on SMT-Based Software Verification. J. Autom. Reason. 65 (3) (2021)
Dirk Beyer, Philipp Wendler
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. TACAS (2) (2020)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Dirk Beyer, Matthias Dangl, Philipp Wendler
A Unifying View on SMT-Based Software Verification. J. Autom. Reason. 60 (3) (2018)
Philipp Wendler
Beiträge zu praktikabler Prkatenanalyse. Ausgezeichnete Informatikdissertationen (2017)
Egor George Karpenkov, David Monniaux, Philipp Wendler
Program Analysis with Local Policy Iteration. VMCAI (2016)
Dirk Beyer, Matthias Dangl, Philipp Wendler
Combining k-Induction with Continuously-Refined Invariants. CoRR (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Benchmarking and Resource Measurement. SPIN (2015)
George Karpenkov, David Monniaux, Philipp Wendler
Program Analysis with Local Policy Iteration. CoRR (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Refinement Selection. SPIN (2015)
Dirk Beyer, Matthias Dangl, Philipp Wendler
Boosting k-Induction with Continuously-Refined Invariants. CAV (1) (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. CoRR (2015)
Matthias Dangl, Stefan Löwe, Philipp Wendler
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). TACAS (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. FORTE (2015)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision Reuse in CPAchecker. Software Engineering (2014)
Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). TACAS (2014)
Dirk Beyer, Georg Dresler, Philipp Wendler
Software Verification in the Google App-Engine Cloud. CAV (2014)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Reusing Precisions for Efficient Regression Verification CoRR (2013)
Dirk Beyer, Philipp Wendler
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. SPIN (2013)
Philipp Wendler
CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution). TACAS (2013)
Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer
Strategies for product-line verification: case studies and experiments. ICSE (2013)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE (2013)
Dirk Beyer, Philipp Wendler
Algorithms for software model checking: Predicate abstraction vs. Impact. FMCAD (2012)
Stefan Löwe, Philipp Wendler
CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). TACAS (2012)
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler
Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE (2012)
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler
Conditional Model Checking CoRR (2011)
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer
Feature-Aware Verification CoRR (2011)
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer
Detection of feature interactions using feature-aware verification. ASE (2011)
Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler
Predicate abstraction with adjustable-block encoding. FMCAD (2010)

Philipp Wendler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Philipp Wendler