Sandeep Mehrotra

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.

Papers from Sandeep Mehrotra's perspective

Ordered by how strongly the researchers Sandeep Mehrotra 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. Generating statechart designs from scenarios (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  6. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  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