P

Inventor

CIFUENTES CRISTINA N

AU12 patents
⚠️ This page may combine multiple inventors who share the name “CIFUENTES CRISTINA N”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

LI LIAN

3 patents
US8516443B2Aug 20, 2013

Context-sensitive analysis framework using value flows

LI LIAN51 citations92
US8473927B2Jun 25, 2013

Points-to analysis using value flow

LI LIAN2 citations60
US8302086B2Oct 30, 2012

System and method for overflow detection using symbolic analysis

LI LIAN4 citations60

ORACLE INT CORP

2 patents
US9189318B2Nov 17, 2015

Path-sensitive analysis framework for bug checking

ORACLE INT CORP37 citations93
US9208057B2Dec 8, 2015

Efficient model checking technique for finding software defects

ORACLE INT CORP8 citations79

SCHOLZ BERNHARD F

2 patents
US8327339B2Dec 4, 2012

Method and system for fast static taint analysis

SCHOLZ BERNHARD F11 citations78
US8578343B2Nov 5, 2013

System and method for overflow detection using partial evaluations

SCHOLZ BERNHARD F1 citations47

SUN MICROSYSTEMS INC

2 patents
US7346903B2Mar 18, 2008

Compiling and linking modules of a cycle-based logic design

SUN MICROSYSTEMS INC3 citations61
US7689958B1Mar 30, 2010

Partitioning for a massively parallel simulation system

SUN MICROSYSTEMS INC6 citations59

VALDIVIEZO BASAURI MANUEL JAVIER

1 patent
US8732669B2May 20, 2014

Efficient model checking technique for finding software defects

VALDIVIEZO BASAURI MANUEL JAVIER26 citations85

KEYNES NATHAN ROBERT ALBERT

1 patent
US8893102B2Nov 18, 2014

Method and system for performing backward-driven path-sensitive dataflow analysis

KEYNES NATHAN ROBERT ALBERT8 citations78

CIFUENTES CRISTINA N

1 patent
US8527965B2Sep 3, 2013

Layered static program analysis framework for software testing

CIFUENTES CRISTINA N11 citations77