Stefan L\"owe

Identifiers

• name variant Stefan L\"owe 0.60 · backfill

Papers (3)

1. Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes cs.SE · 2015 · author #2
2. Reusing Precisions for Efficient Regression Verification cs.SE · 2013 · author #2
3. Explicit-Value Analysis Based on CEGAR and Interpolation cs.SE · 2012 · author #2

Mentions

• 1502.00045 #2 · backfill · confidence 0.70 Stefan L\"owe
• 1305.6915 #2 · backfill · confidence 0.70 Stefan L\"owe
• 1212.6542 #2 · backfill · confidence 0.70 Stefan L\"owe

Frequent Coauthors

• Dirk Beyer 3 shared papers
• Philipp Wendler 2 shared papers
• Andreas Stahlbauer 1 shared papers
• Evgeny Novikov 1 shared papers