Membership
Tour
Register
Log in
Michael W. Whalen
Follow
Person
Edina, MN, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Method and system for the development of high-assurance computing e...
Patent number
8,726,241
Issue date
May 13, 2014
Rockwell Collins, Inc.
Philippe M. T. Limondin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for the development of high-assurance microcode
Patent number
8,041,554
Issue date
Oct 18, 2011
Rockwell Collins, Inc.
Philippe M. T. Limondin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Variable graph minimization for improved model-checking performance
Patent number
7,640,536
Issue date
Dec 29, 2009
Rockwell Collins, Inc.
Michael W. Whalen
G06 - COMPUTING CALCULATING COUNTING