Philipp Wendler

Identifiers

• name variant Philipp Wendler 0.60 · backfill

Papers (6)

1. Program Analysis with Local Policy Iteration cs.LO · 2015 · author #3
2. Combining k-Induction with Continuously-Refined Invariants cs.SE · 2015 · author #3
3. Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes cs.SE · 2015 · author #3
4. Reusing Precisions for Efficient Regression Verification cs.SE · 2013 · author #5
5. Feature-Aware Verification cs.SE · 2011 · author #3
6. Conditional Model Checking cs.SE · 2011 · author #4

Mentions

• 1305.6915 #5 · backfill · confidence 0.70 Philipp Wendler
• 1110.0021 #3 · backfill · confidence 0.70 Philipp Wendler
• 1109.6926 #4 · backfill · confidence 0.70 Philipp Wendler

Frequent Coauthors

• Dirk Beyer 5 shared papers
• Stefan L\"owe 2 shared papers
• Alexander von Rhein 1 shared papers
• Andreas Stahlbauer 1 shared papers
• David Monniaux 1 shared papers
• Evgeny Novikov 1 shared papers
• George Karpenkov 1 shared papers
• Hendrik Speidel 1 shared papers
• Matthias Dangl 1 shared papers
• M. Erkan Keremoglu 1 shared papers
• Sven Apel 1 shared papers
• Thomas A. Henzinger 1 shared papers