Michael W. Whalen

Follow

Person

Edina, MN, US

People

Patents Grantslast 30 patents

Information Patent Grant
IoT event detector correctness verification
- Patent number 12,093,160
- Issue date Sep 17, 2024
- Amazon Technologies, Inc.
- Vaibhav Bhushan Sharma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transitioning legacy software to be provably correct
- Patent number 11,797,317
- Issue date Oct 24, 2023
- Amazon Technologies, Inc.
- Sean McLaughlin
- G06 - COMPUTING CALCULATING COUNTING
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

Patents Applicationslast 30 patents

Information Patent Application
IoT Event Detector Correctness Verification
- Publication number 20240403186
- Publication date Dec 5, 2024
- AMAZON TECHNOLOGIES, INC.
- Vaibhav Bhushan Sharma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CLOUD-BASED QUANTUM COMPILATION SERVICE FOR QUANTUM CIRCUIT MAPPING...
- Publication number 20240330735
- Publication date Oct 3, 2024
- AMAZON TECHNOLOGIES, INC.
- Yunong Shi
- G06 - COMPUTING CALCULATING COUNTING