loadpatents
Patent applications and USPTO patent grants for Cifuentes; Cristina N..The latest application filed is for "path-sensitive analysis framework for bug checking".
Patent | Date |
---|---|
Efficient model checking technique for finding software defects Grant 9,208,057 - Valdiviezo Basauri , et al. December 8, 2 | 2015-12-08 |
Path-sensitive analysis framework for bug checking Grant 9,189,318 - Li , et al. November 17, 2 | 2015-11-17 |
Path-sensitive Analysis Framework For Bug Checking App 20140344633 - Li; Lian ;   et al. | 2014-11-20 |
Method and system for performing backward-driven path-sensitive dataflow analysis Grant 8,893,102 - Keynes , et al. November 18, 2 | 2014-11-18 |
Efficient Model Checking Technique For Finding Software Defects App 20140229922 - Valdiviezo Basauri; Manuel Javier ;   et al. | 2014-08-14 |
Efficient model checking technique for finding software defects Grant 8,732,669 - Valdiviezo Basauri , et al. May 20, 2 | 2014-05-20 |
System and method for overflow detection using partial evaluations Grant 8,578,343 - Scholz , et al. November 5, 2 | 2013-11-05 |
Layered static program analysis framework for software testing Grant 8,527,965 - Cifuentes , et al. September 3, 2 | 2013-09-03 |
Context-sensitive analysis framework using value flows Grant 8,516,443 - Li , et al. August 20, 2 | 2013-08-20 |
Points-to analysis using value flow Grant 8,473,927 - Li , et al. June 25, 2 | 2013-06-25 |
Method And System For Performing Backward-driven Path-sensitive Dataflow Analysis App 20130031531 - Keynes; Nathan Robert Albert ;   et al. | 2013-01-31 |
Method and system for fast static taint analysis Grant 8,327,339 - Scholz , et al. December 4, 2 | 2012-12-04 |
Points-to Analysis As Value Flow App 20120304158 - Li; Lian ;   et al. | 2012-11-29 |
Context-sensitive Analysis Framework Using Value Flows App 20120304153 - Li; Lian ;   et al. | 2012-11-29 |
System and method for overflow detection using symbolic analysis Grant 8,302,086 - Li , et al. October 30, 2 | 2012-10-30 |
Efficient Model Checking Technique For Finding Software Defects App 20120233599 - Valdiviezo Basauri; Manuel Javier ;   et al. | 2012-09-13 |
System and method for overflow detection USING PARTIAL EVALUATIONS App 20110179400 - Scholz; Bernhard F. ;   et al. | 2011-07-21 |
System And Method For Overflow Detection Using Symbolic Analysis App 20110154122 - Li; Lian ;   et al. | 2011-06-23 |
Partitioning for a massively parallel simulation system Grant 7,689,958 - Ball , et al. March 30, 2 | 2010-03-30 |
Method And System For Fast Static Taint Analysis App 20090328009 - Scholz; Bernhard F. ;   et al. | 2009-12-31 |
Layered Static Program Analysis Framework For Software Testing App 20090259989 - Cifuentes; Cristina N. ;   et al. | 2009-10-15 |
Compiling and linking modules of a cycle-based logic design Grant 7,346,903 - Ball , et al. March 18, 2 | 2008-03-18 |
System & method of linking separately compiled simulations App 20040154002 - Ball, Michael S. ;   et al. | 2004-08-05 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.