Michael Y. Levin

Follow

Person

Sammamish, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Efficient querying using on-demand indexing of monitoring tables
- Patent number 8,719,254
- Issue date May 6, 2014
- Microsoft Corporation
- Jinlin Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Active property checking
- Patent number 8,549,486
- Issue date Oct 1, 2013
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EFFICIENT QUERYING USING ON-DEMAND INDEXING OF MONITORING TABLES
- Publication number 20130159281
- Publication date Jun 20, 2013
- Microsoft Corporation
- Jinlin Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACTIVE PROPERTY CHECKING
- Publication number 20090265692
- Publication date Oct 22, 2009
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGING GENERATION OF SECURITY TESTS
- Publication number 20090228871
- Publication date Sep 10, 2009
- Microsoft Corporation
- ANDREW EDWARDS
- G06 - COMPUTING CALCULATING COUNTING