| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | TACAS | 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 |
| 2020 | TACAS | CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. | Dirk Beyer, Philipp Wendler |
| 2016 | VMCAI | Program Analysis with Local Policy Iteration. | Egor George Karpenkov, David Monniaux, Philipp Wendler |
| 2015 | CAV | Boosting k-Induction with Continuously-Refined Invariants. | Dirk Beyer, Matthias Dangl, Philipp Wendler |
| 2015 | FORTE | Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. | Dirk Beyer, Stefan Lwe, Philipp Wendler |
| 2015 | TACAS | CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). | Matthias Dangl, Stefan Lwe, Philipp Wendler |
| 2014 | CAV | Software Verification in the Google App-Engine Cloud. | Dirk Beyer, Georg Dresler, Philipp Wendler |
| 2014 | TACAS | CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). | Stefan Lwe, Mikhail U. Mandrykin, Philipp Wendler |
| 2013 | ICSE | Strategies for product-line verification: case studies and experiments. | Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Grlinger, Dirk Beyer |
| 2013 | TACAS | CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution). | Philipp Wendler |
| 2012 | FMCAD | Algorithms for software model checking: Predicate abstraction vs. Impact. | Dirk Beyer, Philipp Wendler |
| 2012 | TACAS | CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). | Stefan Lwe, Philipp Wendler |
| 2010 | FMCAD | Predicate abstraction with adjustable-block encoding. | Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler |