Dirk Beyer

Identifiers

• name variant Dirk Beyer 0.60 · backfill

Papers (10)

1. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework cs.SE · 2019 · author #1
2. Combining k-Induction with Continuously-Refined Invariants cs.SE · 2015 · author #1
3. Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes cs.SE · 2015 · author #1
4. Reusing Precisions for Efficient Regression Verification cs.SE · 2013 · author #1
5. Domain Types: Selecting Abstractions Based on Variable Usage cs.SE · 2013 · author #2
6. Explicit-Value Analysis Based on CEGAR and Interpolation cs.SE · 2012 · author #1
7. Feature-Aware Verification cs.SE · 2011 · author #5
8. Conditional Model Checking cs.SE · 2011 · author #1
9. Software Model Checking via Large-Block Encoding cs.SE · 2009 · author #1
10. CPAchecker: A Tool for Configurable Software Verification cs.PL · 2009 · author #1

Mentions

• 1502.00096 #1 · backfill · confidence 0.70 Dirk Beyer
• 1502.00045 #1 · backfill · confidence 0.70 Dirk Beyer
• 1305.6915 #1 · backfill · confidence 0.70 Dirk Beyer
• 1305.6640 #2 · backfill · confidence 0.70 Dirk Beyer
• 1212.6542 #1 · backfill · confidence 0.70 Dirk Beyer
• 1110.0021 #5 · backfill · confidence 0.70 Dirk Beyer
• 1109.6926 #1 · backfill · confidence 0.70 Dirk Beyer
• 0904.4709 #1 · backfill · confidence 0.70 Dirk Beyer
• 0902.0019 #1 · backfill · confidence 0.70 Dirk Beyer

Frequent Coauthors

• Philipp Wendler 5 shared papers
• M. Erkan Keremoglu 3 shared papers
• Stefan L\"owe 3 shared papers
• Alexander von Rhein 2 shared papers
• Sven Apel 2 shared papers
• Alberto Griggio 1 shared papers
• Alessandro Cimatti 1 shared papers
• Andreas Stahlbauer 1 shared papers
• Evgeny Novikov 1 shared papers
• Franco Raimondi 1 shared papers
• Heike Wehrheim 1 shared papers
• Hendrik Speidel 1 shared papers
• Karlheinz Friedberger 1 shared papers
• Matthias Dangl 1 shared papers
• Roberto Sebastiani 1 shared papers
• Thomas A. Henzinger 1 shared papers