Jim Woodcock

Computational Theory and Mathematics · 2009

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

Subfields

Whom Jim Woodcock trusts overall

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

  1. Thomas Ball
  2. Sriram K. Rajamani
  3. Gerard J. Holzmann

Who trusts Jim Woodcock overall

  1. Shangding Gu

Papers from Jim Woodcock's perspective

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

  1. The SLAM project: debugging system software via static analysis
  2. Local Reasoning about Programs that Alter Data Structures
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Simplify: a theorem prover for program checking (JACM)
  5. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  6. The ASTREÉ Analyzer
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)

Their papers