Manoj G. Dixit

Follow

Person

Bangalore, IN

People

Patents Grantslast 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
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
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 Applicationslast 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
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 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
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