Howard Barringer

International Conference on Verification, Model Checking and Abstract Interpretation · 2004

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

Whom Howard Barringer trusts overall

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

  1. Klaus Havelund
  2. Grigore Roşu

Who trusts Howard Barringer overall

  1. Feng Chen
  2. Grigore Roşu

Papers from Howard Barringer's perspective

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

  1. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  2. The Temporal Rover and the ATG Rover (SPIN)
  3. Generating statechart designs from scenarios (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  4. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  5. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  6. Abstract Interpretation Frameworks
  7. The DaCapo benchmarks: java benchmarking development and analysis (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  8. Understanding Modern Banking Ledgers through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money (arXiv.org)
  9. Advanced SQL Injection In SQL Server Applications
  10. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)

Their papers