Concepedia

Ramtilak Vemu

RV

6

Publications

281

Citations

6

H-Index

2006

Active since

Affiliations

The University of Texas at Austin(Current)

Intel (United States)

Ramtilak Vemu is an author at The University of Texas at Austin specializing in computer engineering, program analysis, and software testing.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingComputer EngineeringHardware SecuritySoftware AnalysisFormal VerificationFormal Methods

Publications per year

2006–2011

6

Publications

6

ACCE: Automatic correction of control-flow errors

Ramtilak Vemu, Sankar Gurumurthy, Jacob A. Abraham · 2007 · 68 citations

Engineering, Error Control Technique, Verification +20

CEDA: Control-flow Error Detection through Assertions

Ramtilak Vemu, Jacob A. Abraham · 2006 · 64 citations

Program Checking, Engineering, Verification +22

CEDA: Control-Flow Error Detection Using Assertions

Ramtilak Vemu, Jacob A. Abraham · IEEE Transactions on Computers · 2011 · 63 citations

Engineering, Verification, Computer-aided Verification +22

Automatic Generation of Instructions to Robustly Test Delay Defects in Processors

Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham et al. · Proceedings/Proceedings - European Test Workshop · 2007 · 40 citations

Engineering, Hardware Verification Language, Mem Testing +20

A low-cost concurrent error detection technique for processor control logic

Ramtilak Vemu, Abhijit Jas, Jacob A. Abraham et al. · 2008 · 27 citations

Engineering, Error Control Technique, Verification +20

Rows per page

1–5 of 6