Rajan; Sreeranga P.

Patent Applications and Registrations

Patent applications and USPTO patent grants for Rajan; Sreeranga P..The latest application filed is for "satisfiability checking".

Company Profile

0.50.43

Rajan; Sreeranga P. - Sunnyvale CA
Rajan; Sreeranga P. - Santa Clara CA US
Rajan; Sreeranga P - Santa Clara CA

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Satisfiability checking Grant 9,501,331 - Li , et al. November 22, 2	2016-11-22
System and method for comparing software frameworks Grant 9,477,928 - Rajan , et al. October 25, 2	2016-10-25
Symbolic execution and automatic test case generation for JavaScript programs Grant 9,038,032 - Li , et al. May 19, 2	2015-05-19
Optimizing libraries for validating C++ programs using symbolic execution Grant 8,943,487 - Li , et al. January 27, 2	2015-01-27
Software architecture for validating C++ programs using symbolic execution Grant 8,869,113 - Li , et al. October 21, 2	2014-10-21
Method and apparatus for providing auto-registration and service access to internet sites for internet portal subscribers Grant 8,683,316 - Rangarajan , et al. March 25, 2	2014-03-25
Symbolic execution of javascript software using a control flow graph Grant 8,656,370 - Murthy , et al. February 18, 2	2014-02-18
Satisfiability Checking App 20140047217 - LI; Guodong ; et al.	2014-02-13
Lossless path reduction for efficient symbolic execution and automatic test generation Grant 8,645,924 - Li , et al. February 4, 2	2014-02-04
Symbolic execution and test generation for GPU programs Grant 8,595,701 - Li , et al. November 26, 2	2013-11-26
Methods and systems for test automation of forms in web applications Grant 8,543,986 - Murthy , et al. September 24, 2	2013-09-24
Environment data refinement based on static analysis and symbolic execution Grant 8,504,997 - Tkachuk , et al. August 6, 2	2013-08-06
Generating software application user-input data through analysis of client-tier source code Grant 8,479,170 - Prasad , et al. July 2, 2	2013-07-02
Systems and methods for distributing validation computations Grant 8,468,537 - Rajan , et al. June 18, 2	2013-06-18
Providing software validation as a service Grant 8,453,117 - Rajan , et al. May 28, 2	2013-05-28
Method and system to extract a navigation model for analysis of a web application Grant 8,402,319 - Tkachuk , et al. March 19, 2	2013-03-19
Symbolic Execution of Javascript Software Using a Control Flow Graph App 20130055210 - Murthy; Praveen K. ; et al.	2013-02-28
Detecting Errors in Javascript Software Using a Control Flow Graph App 20130055221 - Murthy; Praveen K. ; et al.	2013-02-28
Using symbolic execution to check global temporal requirements in an application Grant 8,359,576 - Prasad , et al. January 22, 2	2013-01-22
Generating a driver for analysis of an event-driven application Grant 8,347,320 - Tkachuk , et al. January 1, 2	2013-01-01
Lossless Path Reduction for Efficient Symbolic Execution and Automatic Test Generation App 20120311545 - Li; Guodong ; et al.	2012-12-06
System and method for providing middleware for capture of global requirements and validation for web applications Grant 8,271,953 - Prasad , et al. September 18, 2	2012-09-18
Client-tier validation of dynamic web applications Grant 8,255,384 - Prasad , et al. August 28, 2	2012-08-28
Symbolic Execution and Test Generation for GPU Programs App 20120204154 - Li; Guodong ; et al.	2012-08-09
Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution App 20120192162 - Li; Guodong ; et al.	2012-07-26
Optimizing Libraries for Validating C++ Programs Using Symbolic Execution App 20120192169 - Li; Guodong ; et al.	2012-07-26
Software Architecture for Validating C++ Programs Using Symbolic Execution App 20120192150 - LI; Guodong ; et al.	2012-07-26
Network-based bookmark management and web-summary system Grant 8,190,629 - Wu , et al. May 29, 2	2012-05-29
Method and System to Extract a Navigation Model for Analysis of a Web Application App 20120084609 - Tkachuk; Oksana ; et al.	2012-04-05
Systems and Methods for Distributing Validation Computations App 20120017220 - Rajan; Sreeranga P. ; et al.	2012-01-19
System and Method for Comparing Software Frameworks App 20120017201 - Rajan; Sreeranga P. ; et al.	2012-01-19
Methods and Systems for Extensive Crawling of Web Applications App 20120016862 - Rajan; Sreeranga P.	2012-01-19
Methods and Systems for Test Automation of Forms in Web Applications App 20120011489 - Murthy; Praveen K. ; et al.	2012-01-12
Generating Software Application User-Input Data Through Analysis of Client-Tier Source Code App 20110283147 - Prasad; Mukul R. ; et al.	2011-11-17
Facilitating Automated Validation of a Web Application App 20110239104 - Prasad; Mukul R. ; et al.	2011-09-29
Providing Software Validation as a Service App 20110225568 - Rajan; Sreeranga P. ; et al.	2011-09-15
Client-tier Validation Of Dynamic Web Applications App 20110078556 - Prasad; Mukul R. ; et al.	2011-03-31
Method and Apparatus for Providing Auto-Registration and Service Access to Internet Sites for Internet Portal Subscribers App 20100325555 - Rangarajan; Anand ; et al.	2010-12-23
Generating A Driver For Analysis Of An Event-driven Application App 20100293557 - Tkachuk; Oksana ; et al.	2010-11-18
Environment Data Refinement Based on Static Analysis and Symbolic Execution App 20100242029 - Tkachuk; Oksana ; et al.	2010-09-23
Efficient Symbolic Execution Of Software Using Static Analysis App 20100223599 - Ghosh; Indradeep ; et al.	2010-09-02
Using Symbolic Execution to Check Global Temporal Requirements in an Application App 20100125832 - Prasad; Mukul R. ; et al.	2010-05-20
System and method for detecting software defects Grant 7,685,471 - Rajan , et al. March 23, 2	2010-03-23
System and Method for Providing Middleware for Capture of Global Requirements and Validation for Web Applications App 20090235235 - Prasad; Mukul R. ; et al.	2009-09-17
System and Method for Providing Symbolic Execution Engine for Validating Web Applications App 20090089759 - Rajan; Sreeranga P. ; et al.	2009-04-02
Configurable Web Services System and a Method to Detect Defects in Software Applications App 20090089757 - Rajan; Sreeranga P. ; et al.	2009-04-02
System and a Method for Generating a Closed Homogeneous Non-Distributed Application from an Open Heterogeneous Distributed Application App 20090089810 - Tkachuk; Oksana I. ; et al.	2009-04-02
System and Method for Providing Automatic Test Generation for Web Applications App 20090089618 - Rajan; Sreeranga P. ; et al.	2009-04-02
Method and Apparatus for Restructuring of Personalized Data for Transmission from a Data Network to Connected and Portable Network Appliances App 20090006582 - Daswani; Neil ; et al.	2009-01-01
Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances Grant 7,424,520 - Daswani , et al. September 9, 2	2008-09-09
System and Method for Detecting Software Defects App 20080189686 - Rajan; Sreeranga P. ; et al.	2008-08-07
Method and Apparatus for Restructuring of Personalized Data for Transmission from a Data Network to Connected and Portable Network Appliances App 20070294343 - Daswani; Neil ; et al.	2007-12-20
High level verification of software and hardware descriptions by symbolic simulation using assume-guarantee relationships with linear arithmetic assumptions Grant 7,283,945 - Rajan October 16, 2	2007-10-16
High level validation of designs and products Grant 7,275,231 - Murthy , et al. September 25, 2	2007-09-25
Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances Grant 7,263,548 - Daswani , et al. August 28, 2	2007-08-28
Method and Apparatus for Providing Calculated and Solution-Oriented Personalized Summary-Reports to a User through a Single User-Interface App 20070130347 - Rangan; P Venkat ; et al.	2007-06-07
Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface Grant 7,178,096 - Rangan , et al. February 13, 2	2007-02-13
Network-Based Bookmark Management and Web-Summary System App 20060253463 - Wu; Jonathan ; et al.	2006-11-09
Network-based bookmark management and web-summary system Grant 7,085,997 - Wu , et al. August 1, 2	2006-08-01
High level validation of designs and products App 20060059444 - Murthy; Praveen Kumar ; et al.	2006-03-16
Network-based bookmark management and WEB-summary system App 20050210297 - Wu, Jonathan ; et al.	2005-09-22
Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface App 20050034055 - Rangan, P. Venkat ; et al.	2005-02-10
Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface Grant 6,802,042 - Rangan , et al. October 5, 2	2004-10-05
Method and apparatus for enabling real time monitoring and notification of data updates for WEB-based data synchronization services App 20040078464 - Rajan, Sreeranga P. ; et al.	2004-04-22
Method and apparatus for retrieving information from semi-structured, web-based data sources Grant 6,725,425 - Rajan , et al. April 20, 2	2004-04-20
Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances App 20030061307 - Daswani, Neil ; et al.	2003-03-27
System for completing a multi-component task initiated by a client involving Web sites without requiring interaction from the client Grant 6,510,451 - Wu , et al. January 21, 2	2003-01-21
Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances Grant 6,477,565 - Daswani , et al. November 5, 2	2002-11-05
Method And Apparatus For Providing Calculated And Solution-oriented Personalized Summary-reports To A User Through A Single User-interface App 20020078079 - RANGAN, P. VENKAT ; et al.	2002-06-20
High level verification of software and hardware description and sharing resources among concurrent processes App 20020055829 - Rajan, Sreeranga P.	2002-05-09
Method And Apparatus For Single-point-delegation Of A Task To Multiple Web-based Services App 20020035592 - WU, JONATHAN ; et al.	2002-03-21
Method and apparatus for extending an on-line internet search beyond pre-referenced sources and returning data over a data-packet-network (DPN) using private search engines as proxy-engines Grant 6,278,993 - Kumar , et al. August 21, 2	2001-08-21
ECAD system for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic descriptions thereof Grant 5,526,277 - Dangelo , et al. June 11, 1	1996-06-11
Methodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic specifications and descriptions thereof Grant 5,222,030 - Dangelo , et al. June 22, 1	1993-06-22

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.