Ben D'Angelo

Time · 2005

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

Whom Ben D'Angelo trusts overall

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

  1. Klaus Havelund
  2. Grigore Roşu

Who trusts Ben D'Angelo overall

  1. Andreas Klaus Bauer
  2. Martin Leucker
  3. Ezio Bartocci

Papers from Ben D'Angelo's perspective

Ordered by how strongly the researchers Ben D'Angelo trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Temporal Rover and the ATG Rover (SPIN)
  2. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  3. Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  4. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  5. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  6. Generating statechart designs from scenarios (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  7. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  8. Abstract Interpretation Frameworks
  9. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  10. The DaCapo benchmarks: java benchmarking development and analysis (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers