Inventor

WHALEN MICHAEL W

US5 patents

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

ROCKWELL COLLINS INC

2 patents

US8041554B1Oct 18, 2011

Method and system for the development of high-assurance microcode

ROCKWELL COLLINS INC25 citations90

US7640536B1Dec 29, 2009

Variable graph minimization for improved model-checking performance

ROCKWELL COLLINS INC20 citations90

XEROX CORP

2 patents

US7063401B2Jun 20, 2006

Systems and methods for determining printhead in a print position

XEROX CORP0 citations45

US7059702B2Jun 13, 2006

Systems and methods for determining printhead in a standby position

XEROX CORP0 citations45

LIMONDIN PHILIPPE M T

1 patent

US8726241B1May 13, 2014

Method and system for the development of high-assurance computing elements

LIMONDIN PHILIPPE M T10 citations74