M. Erkan Keremoglu

Software · 2009

A researcher in the Science corpus: 1 paper; trusts 11 researchers and is trusted by 4 researchers here, as inferred from the citation graph.

Subfields

Whom M. Erkan Keremoglu trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Edmund M. Clarke
  2. Thomas Ball
  3. Daniel Kroening
  4. Dirk Beyer
  5. Thomas A. Henzinger
  6. Sriram K. Rajamani

Who trusts M. Erkan Keremoglu overall

  1. Arie Gurfinkel
  2. Thomas Thüm
  3. Yuxin Wang

Papers from M. Erkan Keremoglu's perspective

Ordered by how strongly the researchers M. Erkan Keremoglu trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Lazy abstraction
  2. The SLAM project: debugging system software via static analysis
  3. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  4. SATABS: SAT-Based Predicate Abstraction for ANSI-C (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  5. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  6. The software model checker Blast (International Journal on Software Tools for Technology Transfer (STTT))
  7. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  8. Simplify: a theorem prover for program checking (JACM)
  9. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  10. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers