LexDanaLexDanabeta
Inventor

Sreeranga P. Rajan

Inventor
Sunnyvale, CA, US

Overview

37→
Patents
1993–2016
Patent span
Physics
Primary field (CPC G)

Patents· 37 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing61%
H04LTransmission of digital information, e.g. telegraphic communication19%
G06QInformation and communication technology [ict] specially adapted for administrative, commercial, financial, managerial or supervisory purposes7%
G01RMeasuring electric variables5%
Y10STechnical subjects covered by former uspc cross-reference art collections [xracs] and digests5%
G06NComputing arrangements based on specific computational models2%
G07FCoin-freed or like apparatus2%
PatentTitleYear
9,501,331'Satisfiability checking'20169,477,928'System and method for comparing software frameworks'20169,104,809'Facilitating automated validation of a web application'20159,038,032'Symbolic execution and automatic test case generation for JavaScript programs'20158,943,487'Optimizing libraries for validating C++ programs using symbolic execution'20158,869,113'Software architecture for validating C++ programs using symbolic execution'20148,856,751'Abstract symbolic execution for scaling symbolic execution generation and automatic test generation'20148,683,316'Method and apparatus for providing auto-registration and service access to internet sites for internet portal subscribers'20148,656,370'Symbolic execution of javascript software using a control flow graph'20148,645,924'Lossless path reduction for efficient symbolic execution and automatic test generation'20148,595,701'Symbolic execution and test generation for GPU programs'20138,543,986'Methods and systems for test automation of forms in web applications'20138,504,997'Environment data refinement based on static analysis and symbolic execution'20138,479,170'Generating software application user-input data through analysis of client-tier source code'20138,468,537'Systems and methods for distributing validation computations'20138,453,117'Providing software validation as a service'20138,402,319'Method and system to extract a navigation model for analysis of a web application'20138,359,576'Using symbolic execution to check global temporal requirements in an application'20138,347,320'Generating a driver for analysis of an event-driven application'20138,271,953'System and method for providing middleware for capture of global requirements and validation for web applications'20128,255,384'Client-tier validation of dynamic web applications'20128,190,629'Network-based bookmark management and web-summary system'20127,685,471'System and method for detecting software defects'20107,424,520'Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances'20087,283,945'High level verification of software and hardware descriptions by symbolic simulation using assume-guarantee relationships with linear arithmetic assumptions'20077,275,231'High level validation of designs and products'20077,263,548'Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances'20077,178,096'Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface'20077,085,997'Network-based bookmark management and web-summary system'20066,802,042'Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface'20046,725,425'Method and apparatus for retrieving information from semi-structured, web-based data sources'20046,510,451'System for completing a multi-component task initiated by a client involving Web sites without requiring interaction from the client'20036,477,565'Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances'20026,278,993'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'20015,880,971'Methodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from semantic specifications and descriptions thereof'19995,526,277'ECAD system for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic descriptions thereof'19965,222,030'Methodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic specifications and descriptions thereof'1993

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

1993–2016Based in Sunnyvale, CA, US· patent location history
2001–2012Patents assigned to YODLEE INC (6)· patent assignee history
2001–2014Based in Santa Clara, CA, US· patent location history
2007–2016Patents assigned to FUJITSU LTD (23)· patent assignee history
2012–2016Patents assigned to RAJAN SREERANGA P (21)· patent assignee history
2012–2016Patents assigned to GHOSH INDRADEEP (12)· patent assignee history
2013–2016Patents assigned to LI GUODONG (6)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
FUJITSU LTD232007–2016
RAJAN SREERANGA Pself212012–2016
GHOSH INDRADEEP122012–2016
LI GUODONG62013–2016
YODLEE INC62001–2012
Locations
LocationPatentsSpan
Sunnyvale, California, US261993–2016
Santa Clara, California, US112001–2014