Concepedia

Sudheendra Hangal

SH

15

Publications

1.4K

Citations

13

H-Index

1999

Active since

Affiliations

Stanford University(Current)

Oracle (United States)

Sudheendra Hangal is an author at Stanford University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationSystem SoftwareSoftware TestingComputer Engineering

Publications per year

1999–2012

15

Publications

15

Tracking down software bugs using automatic anomaly detection

Sudheendra Hangal, Monica S. Lam · 2002 · 607 citations

Software Maintenance, Engineering, Verification +22

Tracking down software bugs using automatic anomaly detection

Sudheendra Hangal, Monica S. Lam · 2002 · 249 citations

Software Maintenance, Engineering, Verification +22

IODINE

Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan et al. · 2005 · 109 citations

Hardware Modeling, Engineering, Hardware Verification Language +16

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit et al. · ACM SIGARCH Computer Architecture News · 2004 · 102 citations

Engineering, Hardware Verification Language, Mem Testing +17

PrPl

Seok-Won Seong, Jiwon Seo, Matthew Nasielski et al. · 2010 · 85 citations

Engineering, Information Security, Pseudonymization +16

Rows per page

1–5 of 15