Membership
Tour
Register
Log in
Prahladavaradan Sampath
Follow
Person
Bangalore, IN
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Method and system for improving efficacy of model verification by m...
Patent number
11,144,684
Issue date
Oct 12, 2021
The MathWorks, Inc.
Dixit Manoj Gangadhar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for performing model verification
Patent number
10,387,585
Issue date
Aug 20, 2019
The MathWorks, Inc.
Dixit Manoj Gangadhar
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
Patents Applications
last 30 patents
Information
Patent Application
METHOD AND SYSTEM FOR IMPROVING EFFICACY OF MODEL VERIFICATION BY M...
Publication number
20170351791
Publication date
Dec 7, 2017
The MathWorks, Inc.
Dixit MANOJ GANGADHAR
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR PERFORMING MODEL VERIFICATION
Publication number
20160124827
Publication date
May 5, 2016
The MathWorks, Inc.
Dixit Manoj Gangadhar
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