Inventor · disambiguated record
Sriram Sankaranarayanan
Also filed as: SANKARANARAYANAN SRIRAM
14 granted patents·3 pending applications·143 citations·filing 2007–2022
91Inventor score
Files withNEC LAB AMERICA INC7SANKARANARAYANAN SRIRAM4ACCENTURE GLOBAL SOLUTIONS LTD1CHANG RICHARD1IVANCIC FRANJO1
Top patents by PatentIndex Score
17 records- 0194US8924938B2Software testing using machine learningCHANG RICHARD·Filed 2007·Granted Dec 30, 2014·54 cites·20 claims
- 0290US8539451B2Systems and methods for model checking the precision of programs employing floating-point operationsIVANCIC FRANJO·Filed 2010·Granted Sep 17, 2013·26 cites·19 claims
- 0385US8402440B2Program verification through symbolic enumeration of control path programsSANKARANARAYANAN SRIRAM·Filed 2009·Granted Mar 19, 2013·17 cites·26 claims
- 0485US8006239B2Program analysis using symbolic rangesNEC LAB AMERICA INC·Filed 2008·Granted Aug 23, 2011·17 cites·13 claims
- 0581US8185875B2Fast and accurate static data-race detection for concurrent programsKAHLON VINEET·Filed 2007·Granted May 22, 2012·11 cites·25 claims
- 0676US8719793B2Scope bounding with automated specification inference for scalable software model checkingMAEDA NAOTO·Filed 2011·Granted May 6, 2014·5 cites·8 claims
- 0771US8365152B2Path-sensitive analysis through infeasible-path detection and syntactic language refinementNEC LAB AMERICA INC·Filed 2008·Granted Jan 29, 2013·5 cites·12 claims
- 0868US8191045B2Mining library specifications using inductive learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted May 29, 2012·4 cites·14 claims
- 0963US8601459B2Control structure refinement of loops using static analysisNEC LAB AMERICA INC·Filed 2013·Granted Dec 3, 2013·1 cites·12 claims
- 1060US12229526B2Smart translation systemsACCENTURE GLOBAL SOLUTIONS LTD·Filed 2022·Granted Feb 18, 2025·0 cites·20 claims
- 1155US8352222B2Methods and systems for efficient analysis of hybrid systems using template polyhedraNEC LAB AMERICA INC·Filed 2008·Granted Jan 8, 2013·1 cites·10 claims
- 1250US8374840B2System and method for feedback-guided test generation for cyber-physical systems using monte-carloNEC LAB AMERICA INC·Filed 2009·Granted Feb 12, 2013·2 cites·5 claims
- 1347US2010058475A1Feedback-guided fuzz testing for learning inputs of comaNEC LAB AMERICA INC·Filed 2009·Application pending·0 cites
- 1446US8522226B2Control structure refinement of loops using static analysisSANKARANARAYANAN SRIRAM·Filed 2010·Granted Aug 27, 2013·0 cites·10 claims
- 1544US8126831B2System and method for dynamically inferring data preconditions over predicates by tree learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted Feb 28, 2012·0 cites·16 claims
- 1642US2007245329A1Static analysis in disjunctive numerical domainsNEC LAB AMERICA·Filed 2007·Application pending·0 cites
- 1738US2010299651A1Robust testing for discrete-time and continuous-time system modelsNEC LAB AMERICA INC·Filed 2010·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →