Michael W. Whalen

Follow

Person

Edina, MN, US

People

Patents Grantslast 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