M. Erkan Keremoglu

Identifiers

• name variant M. Erkan Keremoglu 0.60 · backfill

Papers (3)

1. Conditional Model Checking cs.SE · 2011 · author #3
2. Software Model Checking via Large-Block Encoding cs.SE · 2009 · author #4
3. CPAchecker: A Tool for Configurable Software Verification cs.PL · 2009 · author #2

Mentions

• 1109.6926 #3 · backfill · confidence 0.70 M. Erkan Keremoglu
• 0904.4709 #4 · backfill · confidence 0.70 M. Erkan Keremoglu
• 0902.0019 #2 · backfill · confidence 0.70 M. Erkan Keremoglu

Frequent Coauthors

• Dirk Beyer 3 shared papers
• Alberto Griggio 1 shared papers
• Alessandro Cimatti 1 shared papers
• Philipp Wendler 1 shared papers
• Roberto Sebastiani 1 shared papers
• Thomas A. Henzinger 1 shared papers