Membership
Tour
Register
Log in
Ramesh Sethu
Follow
Person
Bangalore, IN
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Systems and methods for generating high-quality formal executable s...
Patent number
9,152,385
Issue date
Oct 6, 2015
GM Global Technology Operations LLC
Arun Chakrapani Rao
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Software test case generation from a partial design model
Patent number
8,683,442
Issue date
Mar 25, 2014
GM Global Technology Operations LLC
Prakash Mohan Peranandam
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for analyzing software including a calibrated...
Patent number
8,589,898
Issue date
Nov 19, 2013
GM Global Technology Operations LLC
Srihari Sukumaran
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for analyzing software
Patent number
8,584,108
Issue date
Nov 12, 2013
GM Global Technology Operations LLC
Srihari Sukumaran
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Timing analysis using formal methods
Patent number
8,484,009
Issue date
Jul 9, 2013
GM Global Technology Operations LLC
Swarup K. Mohalik
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Online formal verification of executable models
Patent number
8,453,119
Issue date
May 28, 2013
GM Global Technology Operations LLC
Swarup K. Mohalik
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
State machine method for editing requirements using transition syst...
Patent number
8,121,964
Issue date
Feb 21, 2012
GM Global Technology Operations LLC
Prahladavaradan Sampath
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Parametric analysis of real time response guarantees on interacting...
Patent number
8,082,140
Issue date
Dec 20, 2011
GM Global Technology Operations LLC
Manoj G. Dixit
B60 - VEHICLES IN GENERAL
Patents Applications
last 30 patents
Information
Patent Application
SYSTEMS AND METHODS FOR GENERATING HIGH-QUALITY FORMAL EXECUTABLE S...
Publication number
20130219354
Publication date
Aug 22, 2013
GM GLOBAL TECHNOLOGY OPERATIONS LLC
Arun Chakrapani Rao
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SOFTWARE TEST CASE GENERATION FROM A PARTIAL DESIGN MODEL
Publication number
20130074040
Publication date
Mar 21, 2013
GM GLOBAL TECHNOLOGY OPERATIONS LLC
Prakash Mohan Peranandam
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
TIMING ANALYSIS USING FORMAL METHODS
Publication number
20110282640
Publication date
Nov 17, 2011
GM Global Technology Operations, Inc.
Swarup K. Mohalik
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR ANALYZING SOFTWARE INCLUDING A CALIBRATED...
Publication number
20110239203
Publication date
Sep 29, 2011
GM Global Technology Operations, Inc.
Srihari Sukumaran
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR ANALYZING SOFTWARE
Publication number
20110239204
Publication date
Sep 29, 2011
GM Global Technology Operations, Inc.
Srihari Sukumaran
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FUNCTIONAL TEST GENERATION THROUGH MODEL INVERSION
Publication number
20110208501
Publication date
Aug 25, 2011
GM Global Technology Operations, Inc.
Anand V. Yeolekar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ONLINE FORMAL VERIFICATION OF EXECUTABLE MODELS
Publication number
20110087923
Publication date
Apr 14, 2011
GM Global Technology Operations, Inc.
Swarup K. Mohalik
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and System for Automatic Test-Case Generation for Distribute...
Publication number
20110083121
Publication date
Apr 7, 2011
GM GLOBAL TECHNOLOGY OPERATIONS, INC.
Manoj G. Dixit
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTOMATIC MONITOR GENERATION FROM QUANTITATIVE SCENARIO BASED REQUI...
Publication number
20110055797
Publication date
Mar 3, 2011
GM Global Technology Operations, Inc.
Ambar A. Gakdari
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FORMAL ANALYSIS DRIVEN BASED EVOLUTION OF REQUIREMENTS SPECIFICATIONS
Publication number
20110041116
Publication date
Feb 17, 2011
GM Global Technology Operations, Inc.
Prahladavaradan Sampath
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD FOR EDITING REQUIREMENTS USING TRANSITION SYSTEMS
Publication number
20100152948
Publication date
Jun 17, 2010
GM Global Technology Operations, Inc.
Prahladavaradan Sampath
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PARAMETRIC ANALYSIS OF REAL TIME RESPONSE GUARANTEES ON INTERACTING...
Publication number
20090265147
Publication date
Oct 22, 2009
GM Global Technology Operations, Inc.
Manoj G. Dixit
B60 - VEHICLES IN GENERAL