Inventor · disambiguated record
Devesh Bhatt
Also filed as: BHATT DEVESH
14 granted patents·3 pending applications·370 citations·filing 1983–2024
93Inventor score
Top patents by PatentIndex Score
17 records- 0193US7644334B2Requirements-based test generationHONEYWELL INT INC·Filed 2007·Granted Jan 5, 2010·32 cites·20 claims
- 0290US6097399ADisplay of visual data utilizing data aggregationHONEYWELL INC·Filed 1998·Granted Aug 1, 2000·144 cites·37 claims
- 0389US7219328B2Model-based composable code generationHONEYWELL INT INC·Filed 2002·Granted May 15, 2007·65 cites·27 claims
- 0486US8407800B2Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent codeSCHLOEGEL KIRK A·Filed 2009·Granted Mar 26, 2013·27 cites·15 claims
- 0584US8423879B2Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notationBHATT DEVESH·Filed 2008·Granted Apr 16, 2013·17 cites·20 claims
- 0684US8036805B2Distributed engine control systemHONEYWELL INT INC·Filed 2007·Granted Oct 11, 2011·27 cites·14 claims
- 0778US9098619B2Method for automated error detection and verification of softwareBHATT DEVESH·Filed 2010·Granted Aug 4, 2015·6 cites·20 claims
- 0877US8307342B2Method, apparatus, and system for automatic test generation from statechartsOGLESBY DAVID·Filed 2008·Granted Nov 6, 2012·13 cites·17 claims
- 0973US8984488B2Type and range propagation through data-flow modelsBHATT DEVESH·Filed 2011·Granted Mar 17, 2015·6 cites·19 claims
- 1069US9063672B2Systems and methods for verifying model equivalenceMADL GABOR·Filed 2011·Granted Jun 23, 2015·5 cites·20 claims
- 1167US9027001B2Systems and methods for verifying expression foldingEASWARAN ARVIND·Filed 2012·Granted May 5, 2015·3 cites·25 claims
- 1263US8984343B2Error propagation in a system modelSCHLOEGEL KIRK·Filed 2011·Granted Mar 17, 2015·2 cites·20 claims
- 1355US4636967AMonitor circuitHONEYWELL INC·Filed 1983·Granted Jan 13, 1987·23 cites·4 claims
- 1450US2025252025A1Systems and methods for determining system intermediate and output values with partially defined system input valuesHONEYWELL INT INC·Filed 2024·Application pending·0 cites
- 1543US2010192128A1System and methods of using test points and signal overrides in requirements-based test generationHONEYWELL INT INC·Filed 2009·Application pending·0 cites
- 1638US8661424B2Auto-generation of concurrent code for multi-core applicationsSCHLOEGEL KIRK·Filed 2010·Granted Feb 25, 2014·0 cites·20 claims
- 1738US2003128214A1Framework for domain-independent archetype modelingHONEYWELL INT INC·Filed 2002·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Devesh Bhatt files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →