Membership
Tour
Register
Log in
SRIRAM SANKARANARAYANAN
Follow
Person
Boulder, CO, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Software testing using machine learning
Patent number
8,924,938
Issue date
Dec 30, 2014
NEC Laboratories America, Inc.
Richard Chang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Scope bounding with automated specification inference for scalable...
Patent number
8,719,793
Issue date
May 6, 2014
NEC Laboratories America, Inc.
Naoto Maeda
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Control structure refinement of loops using static analysis
Patent number
8,601,459
Issue date
Dec 3, 2013
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for model checking the precision of programs em...
Patent number
8,539,451
Issue date
Sep 17, 2013
NEC Laboratories America, Inc.
Franjo Ivancic
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Control structure refinement of loops using static analysis
Patent number
8,522,226
Issue date
Aug 27, 2013
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Program verification through symbolic enumeration of control path p...
Patent number
8,402,440
Issue date
Mar 19, 2013
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for feedback-guided test generation for cyber-phy...
Patent number
8,374,840
Issue date
Feb 12, 2013
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G01 - MEASURING TESTING
Information
Patent Grant
Path-sensitive analysis through infeasible-path detection and synta...
Patent number
8,365,152
Issue date
Jan 29, 2013
NEC Laboratories America, Inc.
Gogul Balakrishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods and systems for efficient analysis of hybrid systems using...
Patent number
8,352,222
Issue date
Jan 8, 2013
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G05 - CONTROLLING REGULATING
Information
Patent Grant
Mining library specifications using inductive learning
Patent number
8,191,045
Issue date
May 29, 2012
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Fast and accurate static data-race detection for concurrent programs
Patent number
8,185,875
Issue date
May 22, 2012
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for dynamically inferring data preconditions over...
Patent number
8,126,831
Issue date
Feb 28, 2012
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Program analysis using symbolic ranges
Patent number
8,006,239
Issue date
Aug 23, 2011
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS
Publication number
20130227537
Publication date
Aug 29, 2013
NEC Laboratories America, Inc.
SRIRAM SANKARANARAYANAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Scope Bounding with Automated Specification Inference for Scalable...
Publication number
20120151449
Publication date
Jun 14, 2012
NEC Laboratories America, Inc.
Naoto Maeda
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ROBUST TESTING FOR DISCRETE-TIME AND CONTINUOUS-TIME SYSTEM MODELS
Publication number
20100299651
Publication date
Nov 25, 2010
NEC Laboratories America, Inc.
GEORGIOS FAINEKOS
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR MODEL CHECKING THE PRECISION OF PROGRAMS EM...
Publication number
20100293530
Publication date
Nov 18, 2010
NEC Laboratories America, Inc.
FRANJO IVANCIC
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS
Publication number
20100205592
Publication date
Aug 12, 2010
NEC Laboratories America, Inc.
SRIRAM SANKARANARAYANAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHY...
Publication number
20100094611
Publication date
Apr 15, 2010
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G01 - MEASURING TESTING
Information
Patent Application
FEEDBACK-GUIDED FUZZ TESTING FOR LEARNING INPUTS OF COMA
Publication number
20100058475
Publication date
Mar 4, 2010
NEC Laboratories America, Inc.
Suresh Thummalapenta
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...
Publication number
20100005454
Publication date
Jan 7, 2010
NEC Laboratories America, Inc.
Sriram Sankaranarayanan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR DYNAMICALLY INFERRING DATA PRECONDITIONS OVER...
Publication number
20090192963
Publication date
Jul 30, 2009
NEC Laboratories America, Inc.
SRIRAM SANKARANARAYANAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PATH-SENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTA...
Publication number
20090193401
Publication date
Jul 30, 2009
NEC Laboratories America, Inc.
Gogul Balakrishnan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHODS AND SYSTEMS FOR EFFICIENT ANALYSIS OF HYBRID SYSTEMS USING...
Publication number
20090094004
Publication date
Apr 9, 2009
NEC Laboratories America, Inc.
SRIRAM SANKARANARAYANAN
G05 - CONTROLLING REGULATING
Information
Patent Application
MINING LIBRARY SPECIFICATIONS USING INDUCTIVE LEARNING
Publication number
20090064110
Publication date
Mar 5, 2009
NEC Laboratories America, Inc.
SRIRAM SANKARANARAYANAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
Publication number
20080178156
Publication date
Jul 24, 2008
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PROGRAM ANALYSIS USING SYMBOLIC RANGES
Publication number
20080172653
Publication date
Jul 17, 2008
NEC LABORATORIES AMERICA
Sriram SANKARANARAYANAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SOFTWARE TESTING USING MACHINE LEARNING
Publication number
20080082968
Publication date
Apr 3, 2008
NEC Laboratories America, Inc.
Richard Chang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
STATIC ANALYSIS IN DISJUNCTIVE NUMERICAL DOMAINS
Publication number
20070245329
Publication date
Oct 18, 2007
NEC LABORATORIES AMERICA
Sriram SANKARANARAYANAN
G06 - COMPUTING CALCULATING COUNTING