Jakob Rehof

Computational Theory and Mathematics · 2005

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

Subfields

• Computational Theory and Mathematics — 7 citations into it; #10,632 of 12,182 by trust here, #10,901 by citations
• Software — 5 citations into it; #1,022 of 1,227 by trust here, #1,147 by citations

Whom Jakob Rehof trusts overall

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

1. Edmund M. Clarke
2. Shaz Qadeer
3. Sagar Chaki
4. Dinghao Wu

Who trusts Jakob Rehof overall

1. M. Musuvathi

Papers from Jakob Rehof's perspective

Ordered by how strongly the researchers Jakob Rehof 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. The SLAM project: debugging system software via static analysis
3. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. KISS: keep it simple and sequential (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Bounded Model Checking Using Satisfiability Solving (Formal Methods Syst. Des.)
6. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
7. Lazy abstraction
8. Automatically validating temporal safety properties of interfaces (SPIN)
9. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
10. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))

Their papers

• Context-Bounded Model Checking of Concurrent Software (2005) — 424 citations