12
Publications
597
Citations
10
H-Index
1996
Active since
Sreeranga P. Rajan is an author at Fujitsu (United States) specializing in engineering, computer engineering, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsSystem SoftwareFormal VerificationSoftware EngineeringSoftware TestingSoftware Analysis
Publications per year
1996–2021
12
12
Guodong Li, Peng Li, Geof Sawaya et al. · 2012 · 123 citations
Engineering, Conservative Static Analysis, Computer Architecture +17
Guodong Li, Peng Li, Geof Sawaya et al. · ACM SIGPLAN Notices · 2012 · 34 citations
Engineering, Conservative Static Analysis, Computer Architecture +17
Rows per page
1–5 of 12