Inventor · disambiguated record
Michael William Whalen
Also filed as: WHALEN MICHAEL W · WHALEN MICHAEL WILLIAM
8 granted patents·4 pending applications·82 citations·filing 2004–2025
85Inventor score
Top patents by PatentIndex Score
12 records- 0191US11797317B1Transitioning legacy software to be provably correctAMAZON TECH INC·Filed 2021·Granted Oct 24, 2023·4 cites·20 claims
- 0290US11093641B1Anonymizing sensitive data in logic problems for input to a constraint solverAMAZON TECH INC·Filed 2018·Granted Aug 17, 2021·22 cites·20 claims
- 0389US8041554B1Method and system for the development of high-assurance microcodeROCKWELL COLLINS INC·Filed 2007·Granted Oct 18, 2011·25 cites·22 claims
- 0485US7640536B1Variable graph minimization for improved model-checking performanceROCKWELL COLLINS INC·Filed 2005·Granted Dec 29, 2009·20 cites·12 claims
- 0575US12093160B1IoT event detector correctness verificationAMAZON TECH INC·Filed 2021·Granted Sep 17, 2024·1 cites·20 claims
- 0672US8726241B1Method and system for the development of high-assurance computing elementsLIMONDIN PHILIPPE M T·Filed 2007·Granted May 13, 2014·10 cites·10 claims
- 0765US2024403186A1IoT Event Detector Correctness VerificationAMAZON TECH INC·Filed 2024·Application pending·0 cites
- 0856US2024330735A1Cloud-based quantum compilation service for quantum circuit mapping using sat solving techniquesAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 0953US2025262110A1Dental instrument holder and expansion platformA DEC INC·Filed 2025·Application pending·0 cites
- 1050US2025200392A1Large language model verificationAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 1131US7063401B2Systems and methods for determining printhead in a print positionXEROX CORP·Filed 2004·Granted Jun 20, 2006·0 cites·19 claims
- 1231US7059702B2Systems and methods for determining printhead in a standby positionXEROX CORP·Filed 2004·Granted Jun 13, 2006·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Michael William Whalen files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →