Ramtilak Vemu - Concepedia

Author

Ramtilak Vemu

Also Known As

R. Vemu, Ramtilak Vemu

Publications

302

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	281
2	Computer Engineering	6	6	281
3	Computer Science	6	6	281
4	Systems Engineering	4	4	214
5	Compilers	2	2	131

Ramtilak Vemu

Publications

281

Citations

H-Index

Page 1

	Year	Citations
ACCE: Automatic correction of control-flow errors Ramtilak Vemu, Sankar Gurumurthy, Jacob A. Abraham EngineeringError Control TechniqueVerificationComputer ArchitectureSoftware Analysis	2007	68
CEDA: Control-flow Error Detection through Assertions Ramtilak Vemu, Jacob A. Abraham Program CheckingEngineeringVerificationControl Flow ErrorsComputer-aided Verification	2006	64
CEDA: Control-Flow Error Detection Using Assertions Ramtilak Vemu, Jacob A. Abraham IEEE Transactions on Computers EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis	2011	63
Automatic Generation of Instructions to Robustly Test Delay Defects in Processors Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham, Proceedings/Proceedings - European Test Workshop EngineeringHardware Verification LanguageMem TestingVerificationComputer Architecture	2007	40
A low-cost concurrent error detection technique for processor control logic Ramtilak Vemu, Abhijit Jas, Jacob A. Abraham, EngineeringError Control TechniqueVerificationComputer ArchitectureFormal Verification	2008	27
Budget-Dependent Control-Flow Error Detection Ramtilak Vemu, Jacob A. Abraham EngineeringError Control TechniqueVerificationControl Flow ErrorsSoftware Engineering	2008	19

Page 1