Brendan Hall

Digital Avionics Systems Conference · 2004–2020

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

Papers from Brendan Hall's perspective

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

  1. Big Ears (The Return of "Easy Approach to Requirements Engineering")
  2. Easy Approach to Requirements Syntax (EARS) (IEEE International Requirements Engineering Conference)
  3. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION
  4. A method for obtaining digital signatures and public-key cryptosystems
  5. New Directions in Cryptography
  6. A Simplex Method for Function Minimization
  7. Spanner: Google's Globally-Distributed Database (USENIX Symposium on Operating Systems Design and Implementation)
  8. LT codes (The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.)
  9. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  10. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

Their papers