Dirk Beyer

Software · 2007–2010

A researcher in the Science corpus: 3 papers; trusts 11 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Subfields

Whom Dirk Beyer trusts overall

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

  1. Edmund M. Clarke
  2. Thomas Ball
  3. Thomas A. Henzinger
  4. Kenneth L. McMillan
  5. Daniel Kroening
  6. Sriram K. Rajamani
  7. Ranjit Jhala
  8. David Detlefs
  9. Rupak Majumdar
  10. Sagar Chaki

Who trusts Dirk Beyer overall

  1. Arie Gurfinkel
  2. Edward A. Lee
  3. Thomas Thüm
  4. Yuxin Wang
  5. Temesghen Kahsai
  6. Sanjit A. Seshia
  7. M. Erkan Keremoglu
  8. Sven Apel
  9. Zeyu Ding
  10. Anvesh Komuravelli

Papers from Dirk Beyer's perspective

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

  1. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  2. Lazy abstraction
  3. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  4. Simplify: a theorem prover for program checking (JACM)
  5. The SLAM project: debugging system software via static analysis
  6. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  9. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  10. The SPIN Model Checker

Their papers