Philipp Wendler

37 papers A* 3A 4B 3C 2Journal 13Unranked 10

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