Inventor

SCHLOEGEL KIRK A

US3 patents

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

HONEYWELL INT INC

1 patent

US7219328B2May 15, 2007

Model-based composable code generation

HONEYWELL INT INC65 citations95

SCHLOEGEL KIRK A

1 patent

US8407800B2Mar 26, 2013

Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent code

SCHLOEGEL KIRK A27 citations86

BHATT DEVESH

1 patent

US9098619B2Aug 4, 2015

Method for automated error detection and verification of software

BHATT DEVESH6 citations69