Ilya SHLYAKHTER

Follow

Person

FRANKLIN PARK, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Software verification using range analysis
- Patent number 8,131,532
- Issue date Mar 6, 2012
- NEC Laboratories America, Inc.
- Srihari Cadambi
- 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 Applicationslast 30 patents

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
STATIC ANALYSIS IN DISJUNCTIVE NUMERICAL DOMAINS
- Publication number 20070245329
- Publication date Oct 18, 2007
- NEC LABORATORIES AMERICA
- Sriram SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE VERIFICATION USING RANGE ANALYSIS
- Publication number 20060282806
- Publication date Dec 14, 2006
- NEC Laboratories America, Inc.
- Srihari CADAMBI
- G06 - COMPUTING CALCULATING COUNTING