Inventor · disambiguated record
Cristina N. Cifuentes
Also filed as: CIFUENTES CRISTINA · CIFUENTES CRISTINA N · CIFUENTES CRISTINA NICOLE
17 granted patents·170 citations·filing 2003–2021
93Inventor score
Technology areasG06F
Top patents by PatentIndex Score
17 records- 0194US9189318B2Path-sensitive analysis framework for bug checkingORACLE INT CORP·Filed 2014·Granted Nov 17, 2015·37 cites·17 claims
- 0293US8516443B2Context-sensitive analysis framework using value flowsLI LIAN·Filed 2011·Granted Aug 20, 2013·51 cites·15 claims
- 0387US8732669B2Efficient model checking technique for finding software defectsVALDIVIEZO BASAURI MANUEL JAVIER·Filed 2011·Granted May 20, 2014·26 cites·17 claims
- 0482US9208057B2Efficient model checking technique for finding software defectsORACLE INT CORP·Filed 2014·Granted Dec 8, 2015·8 cites·17 claims
- 0579US11822459B2Automated function category detectionORACLE INT CORP·Filed 2021·Granted Nov 21, 2023·1 cites·20 claims
- 0677US8893102B2Method and system for performing backward-driven path-sensitive dataflow analysisKEYNES NATHAN ROBERT ALBERT·Filed 2011·Granted Nov 18, 2014·8 cites·14 claims
- 0776US8527965B2Layered static program analysis framework for software testingCIFUENTES CRISTINA N·Filed 2008·Granted Sep 3, 2013·11 cites·17 claims
- 0876US8327339B2Method and system for fast static taint analysisSCHOLZ BERNHARD F·Filed 2008·Granted Dec 4, 2012·11 cites·14 claims
- 0966US11030304B2Buffer overflow detection based on a synthesis of assertions from templates and k-inductionORACLE INT CORP·Filed 2018·Granted Jun 8, 2021·1 cites·17 claims
- 1066US8302086B2System and method for overflow detection using symbolic analysisLI LIAN·Filed 2009·Granted Oct 30, 2012·4 cites·20 claims
- 1165US8473927B2Points-to analysis using value flowLI LIAN·Filed 2011·Granted Jun 25, 2013·2 cites·19 claims
- 1258US8578343B2System and method for overflow detection using partial evaluationsSCHOLZ BERNHARD F·Filed 2010·Granted Nov 5, 2013·1 cites·17 claims
- 1355US7689958B1Partitioning for a massively parallel simulation systemSUN MICROSYSTEMS INC·Filed 2004·Granted Mar 30, 2010·6 cites·33 claims
- 1452US7346903B2Compiling and linking modules of a cycle-based logic designSUN MICROSYSTEMS INC·Filed 2003·Granted Mar 18, 2008·3 cites·24 claims
- 1551US10620660B2Efficient timestamp solution for analyzing concurrent software systemsORACLE INT CORP·Filed 2018·Granted Apr 14, 2020·0 cites·20 claims
- 1650US10719425B2Happens-before-based dynamic concurrency analysis for actor-based programsORACLE INT CORP·Filed 2018·Granted Jul 21, 2020·0 cites·19 claims
- 1743US11204746B2Encoding dependencies in call graphsORACLE INT CORP·Filed 2020·Granted Dec 21, 2021·0 cites·18 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →