Inventor · disambiguated record
Sreeranga P. Rajan
Also filed as: RAJAN SREERANGA · RAJAN SREERANGA P · RAJAN SREERANGA PRASANNAKUMAR
37 granted patents·15 pending applications·2,344 citations·filing 1990–2012
98Inventor score
Top patents by PatentIndex Score
52 records- 0199US6278993B1Method 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-enginesYODLEE INC·Filed 2000·Granted Aug 21, 2001·390 cites·11 claims
- 0297US7424520B2Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliancesYODLEE COM·Filed 2007·Granted Sep 9, 2008·118 cites·40 claims
- 0397US6725425B1Method and apparatus for retrieving information from semi-structured, web-based data sourcesYODLEE COM·Filed 2000·Granted Apr 20, 2004·198 cites·18 claims
- 0496US7263548B2Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliancesYODLEE COM·Filed 2002·Granted Aug 28, 2007·118 cites·38 claims
- 0596US7178096B2Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interfaceYODLEE INC·Filed 2004·Granted Feb 13, 2007·159 cites·14 claims
- 0696US7085997B1Network-based bookmark management and web-summary systemYODLEE COM·Filed 2000·Granted Aug 1, 2006·136 cites·10 claims
- 0796US6477565B1Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliancesYODLEE INC·Filed 1999·Granted Nov 5, 2002·274 cites·40 claims
- 0895US6802042B2Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interfaceYODLEE INC·Filed 1999·Granted Oct 5, 2004·247 cites·14 claims
- 0994US8595701B2Symbolic execution and test generation for GPU programsLI GUODONG·Filed 2011·Granted Nov 26, 2013·30 cites·28 claims
- 1094US8359576B2Using symbolic execution to check global temporal requirements in an applicationFUJITSU LTD·Filed 2008·Granted Jan 22, 2013·41 cites·19 claims
- 1191US8190629B2Network-based bookmark management and web-summary systemWU JONATHAN·Filed 2006·Granted May 29, 2012·19 cites·10 claims
- 1290US8645924B2Lossless path reduction for efficient symbolic execution and automatic test generationLI GUODONG·Filed 2011·Granted Feb 4, 2014·14 cites·22 claims
- 1390US5222030AMethodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic specifications and descriptions thereofLSI LOGIC CORP·Filed 1990·Granted Jun 22, 1993·130 cites·23 claims
- 1489US8543986B2Methods and systems for test automation of forms in web applicationsMURTHY PRAVEEN K·Filed 2010·Granted Sep 24, 2013·21 cites·16 claims
- 1586US8656370B2Symbolic execution of javascript software using a control flow graphMURTHY PRAVEEN K·Filed 2011·Granted Feb 18, 2014·10 cites·16 claims
- 1685US5526277AECAD system for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic descriptions thereofLSI LOGIC CORP·Filed 1994·Granted Jun 11, 1996·44 cites·24 claims
- 1784US8869113B2Software architecture for validating C++ programs using symbolic executionLI GUODONG·Filed 2011·Granted Oct 21, 2014·8 cites·23 claims
- 1883US8856751B2Abstract symbolic execution for scaling symbolic execution generation and automatic test generationFUJISTU LTD·Filed 2012·Granted Oct 7, 2014·7 cites·20 claims
- 1982US8479170B2Generating software application user-input data through analysis of client-tier source codePRASAD MUKUL R·Filed 2010·Granted Jul 2, 2013·7 cites·15 claims
- 2080US8943487B2Optimizing libraries for validating C++ programs using symbolic executionLI GUODONG·Filed 2011·Granted Jan 27, 2015·6 cites·14 claims
- 2180US8453117B2Providing software validation as a serviceRAJAN SREERANGA P·Filed 2010·Granted May 28, 2013·7 cites·10 claims
- 2280US7685471B2System and method for detecting software defectsFUJITSU LTD·Filed 2007·Granted Mar 23, 2010·10 cites·16 claims
- 2379US8271953B2System and method for providing middleware for capture of global requirements and validation for web applicationsPRASAD MUKUL R·Filed 2008·Granted Sep 18, 2012·8 cites·28 claims
- 2477US8504997B2Environment data refinement based on static analysis and symbolic executionTKACHUK OKSANA·Filed 2009·Granted Aug 6, 2013·10 cites·28 claims
- 2576US9104809B2Facilitating automated validation of a web applicationPRASAD MUKUL R·Filed 2010·Granted Aug 11, 2015·4 cites·24 claims
- 2676US9038032B2Symbolic execution and automatic test case generation for JavaScript programsLI GUODONG·Filed 2012·Granted May 19, 2015·4 cites·12 claims
- 2776US6510451B2System for completing a multi-component task initiated by a client involving Web sites without requiring interaction from the clientYODLEE INC·Filed 1999·Granted Jan 21, 2003·227 cites·14 claims
- 2874US7283945B2High level verification of software and hardware descriptions by symbolic simulation using assume-guarantee relationships with linear arithmetic assumptionsFUJITSU LTD·Filed 2001·Granted Oct 16, 2007·20 cites·7 claims
- 2973US5880971AMethodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from semantic specifications and descriptions thereofLSI LOGIC CORP·Filed 1997·Granted Mar 9, 1999·53 cites·58 claims
- 3072US8255384B2Client-tier validation of dynamic web applicationsPRASAD MUKUL R·Filed 2009·Granted Aug 28, 2012·5 cites·20 claims
- 3166US7275231B2High level validation of designs and productsFUJITSU LTD·Filed 2004·Granted Sep 25, 2007·14 cites·40 claims
- 3262US9501331B2Satisfiability checkingLI GUODONG·Filed 2012·Granted Nov 22, 2016·1 cites·21 claims
- 3360US8683316B2Method and apparatus for providing auto-registration and service access to internet sites for internet portal subscribersRANGARAJAN ANAND·Filed 2010·Granted Mar 25, 2014·1 cites·6 claims
- 3459US8402319B2Method and system to extract a navigation model for analysis of a web applicationTKACHUK OKSANA·Filed 2010·Granted Mar 19, 2013·1 cites·20 claims
- 3558US9477928B2System and method for comparing software frameworksRAJAN SREERANGA P·Filed 2010·Granted Oct 25, 2016·2 cites·21 claims
- 3654US2007130347A1Method and Apparatus for Providing Calculated and Solution-Oriented Personalized Summary-Reports to a User through a Single User-InterfaceYODLEE INC·Filed 2007·Application pending·0 cites
- 3754US2009006582A1Method and Apparatus for Restructuring of Personalized Data for Transmission from a Data Network to Connected and Portable Network AppliancesYODLEE COM·Filed 2008·Application pending·0 cites
- 3848US2005210297A1Network-based bookmark management and WEB-summary systemWU JONATHAN·Filed 2005·Application pending·0 cites
- 3946US2009089810A1System and a Method for Generating a Closed Homogeneous Non-Distributed Application from an Open Heterogeneous Distributed ApplicationFUJITSU LTD·Filed 2007·Application pending·0 cites
- 4046US2009089618A1System and Method for Providing Automatic Test Generation for Web ApplicationsFUJITSU LTD·Filed 2007·Application pending·0 cites
- 4144US8468537B2Systems and methods for distributing validation computationsRAJAN SREERANGA P·Filed 2010·Granted Jun 18, 2013·0 cites·12 claims
- 4244US2010223599A1Efficient symbolic execution of software using static analysisFUJITSU LTD·Filed 2009·Application pending·0 cites
- 4344US2004078464A1Method and apparatus for enabling real time monitoring and notification of data updates for WEB-based data synchronization servicesFiled 2003·Application pending·0 cites
- 4444US2009089757A1Configurable Web Services System and a Method to Detect Defects in Software ApplicationsFUJITSU LTD·Filed 2007·Application pending·0 cites
- 4543US2001000537A1Method and apparatus for obtaining and presenting WEB summaries to usersFiled 2000·Application pending·0 cites
- 4643US2009089759A1System and Method for Providing Symbolic Execution Engine for Validating Web ApplicationsFUJITSU LTD·Filed 2007·Application pending·0 cites
- 4743US2007088847A1Method and System to Interact with Information Services using MessagingSVAZU INC·Filed 2005·Application pending·0 cites
- 4841US2013055221A1Detecting Errors in Javascript Software Using a Control Flow GraphMURTHY PRAVEEN K·Filed 2011·Application pending·0 cites
- 4941US2012192162A1Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic ExecutionLI GUODONG·Filed 2011·Application pending·0 cites
- 5040US8347320B2Generating a driver for analysis of an event-driven applicationFUJITSU LTD·Filed 2010·Granted Jan 1, 2013·0 cites·14 claims
Showing the top 50 of 52 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →