Gerard J. Holzmann

Software · 2000–2007

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

Subfields

Whom Gerard J. Holzmann trusts overall

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

  1. Edmund M. Clarke
  2. Moshe Y. Vardi
  3. George C. Necula
  4. Carlos Pacheco
  5. Alice X. Zheng

Who trusts Gerard J. Holzmann overall

  1. Barry W. Boehm
  2. Maja Pesic
  3. Christel Baier
  4. Edward A. Lee
  5. Alex Groce
  6. Don S. Batory
  7. Rafael Heitor Bordini
  8. Adam Barth
  9. Louise Dennis
  10. Corina S. Pasareanu

Papers from Gerard J. Holzmann's perspective

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

  1. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  2. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  3. Feedback-Directed Random Test Generation (International Conference on Software Engineering)
  4. Space/time trade-offs in hash coding with allowable errors
  5. The SPIN Model Checker - primer and reference manual
  6. Logic in Computer Science: Modelling and Reasoning about Systems
  7. Statistical debugging: simultaneous identification of multiple bugs
  8. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  10. Simplify: a theorem prover for program checking (JACM)

Their papers