Inventor
SANKARANARAYANAN SRIRAM
US14 patents
⚠️ This page may combine multiple inventors who share the name “SANKARANARAYANAN SRIRAM”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
NEC LAB AMERICA INC
5 patentsUS8006239B2Aug 23, 2011
Program analysis using symbolic ranges
NEC LAB AMERICA INC17 citations82
US8365152B2Jan 29, 2013
Path-sensitive analysis through infeasible-path detection and syntactic language refinement
NEC LAB AMERICA INC5 citations72
US8374840B2Feb 12, 2013
System and method for feedback-guided test generation for cyber-physical systems using monte-carlo
NEC LAB AMERICA INC2 citations57
US8601459B2Dec 3, 2013
Control structure refinement of loops using static analysis
NEC LAB AMERICA INC1 citations51
US8352222B2Jan 8, 2013
Methods and systems for efficient analysis of hybrid systems using template polyhedra
NEC LAB AMERICA INC1 citations51
SANKARANARAYANAN SRIRAM
4 patentsUS8402440B2Mar 19, 2013
Program verification through symbolic enumeration of control path programs
SANKARANARAYANAN SRIRAM17 citations82
US8191045B2May 29, 2012
Mining library specifications using inductive learning
SANKARANARAYANAN SRIRAM4 citations61
US8126831B2Feb 28, 2012
System and method for dynamically inferring data preconditions over predicates by tree learning
SANKARANARAYANAN SRIRAM0 citations50
US8522226B2Aug 27, 2013
Control structure refinement of loops using static analysis
SANKARANARAYANAN SRIRAM0 citations49