Thirumalesh Bhat

Software · 2006

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

Subfields

Software — 10 citations into it; #1,112 of 1,227 by trust here, #636 by citations
Information Systems — 8 citations into it; #8,024 of 8,771 by trust here, #5,078 by citations

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

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

Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
MOPS: an infrastructure for examining security properties of software (Conference on Computer and Communications Security)
Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Synthesis of interface specifications for Java classes (ACM-SIGACT Symposium on Principles of Programming Languages)
Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
DynaMine: finding common error patterns by mining software revision histories (ESEC/FSE-13)
Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)