Inventor

DIXIT MANOJ G

IN3 patents

⚠️ This page may combine multiple inventors who share the name “DIXIT MANOJ G”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

MOHALIK SWARUP K

1 patent

US8484009B2Jul 9, 2013

Timing analysis using formal methods

MOHALIK SWARUP K4 citations50

CHAKRAPANI RAO ARUN

1 patent

US9152385B2Oct 6, 2015

Systems and methods for generating high-quality formal executable software feature requirements

CHAKRAPANI RAO ARUN1 citations36

DIXIT MANOJ G

1 patent

US8082140B2Dec 20, 2011

Parametric analysis of real time response guarantees on interacting software components

DIXIT MANOJ G0 citations29