Michael Barnett

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Key-value store system
- Patent number 11,663,187
- Issue date May 30, 2023
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Progressive query computation using streaming architectures
- Patent number 11,494,414
- Issue date Nov 8, 2022
- Microsoft Technology Licensing, LLC
- Danyel A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Key-value store system
- Patent number 11,392,570
- Issue date Jul 19, 2022
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic pattern matching code generation
- Patent number 11,093,218
- Issue date Aug 17, 2021
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stream data processing on multiple application timelines
- Patent number 10,949,427
- Issue date Mar 16, 2021
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Progressive query computation using streaming architectures
- Patent number 10,140,358
- Issue date Nov 27, 2018
- Microsoft Technology Licensing, LLC
- Danyel A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analytical data processing engine
- Patent number 9,697,262
- Issue date Jul 4, 2017
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Progressive query computation using streaming architectures
- Patent number 9,607,045
- Issue date Mar 28, 2017
- Microsoft Technology Licensing, LLC
- Danyel A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Operating system support for contracts
- Patent number 9,286,039
- Issue date Mar 15, 2016
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying execution paths that satisfy reachability queries
- Patent number 9,015,674
- Issue date Apr 21, 2015
- Microsoft Technology Licensing, LLC
- Robert DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contract failure behavior with escalation policy
- Patent number 8,782,607
- Issue date Jul 15, 2014
- Microsoft Corporation
- Melitta L. G. Andersen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contract programming for code error reduction
- Patent number 8,250,524
- Issue date Aug 21, 2012
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Out of band data augmentation
- Patent number 7,958,489
- Issue date Jun 7, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hiding irrelevant facts in verification conditions
- Patent number 7,926,037
- Issue date Apr 12, 2011
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conformance testing of multi-threaded and distributed software systems
- Patent number 7,747,985
- Issue date Jun 29, 2010
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating finite state machines for software systems with asynchro...
- Patent number 7,500,149
- Issue date Mar 3, 2009
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extending test sequences to accepting states
- Patent number 7,493,544
- Issue date Feb 17, 2009
- Microsoft Corporation
- Andreas Blass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tool-based iterative document management
- Patent number 7,337,388
- Issue date Feb 26, 2008
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conformance execution of non-deterministic specifications for compo...
- Patent number 7,216,338
- Issue date May 8, 2007
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for matching a textual input to a lexical knowled...
- Patent number 7,013,264
- Issue date Mar 14, 2006
- Microsoft Corporation
- William B. Dolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for matching a textual input to a lexical knowled...
- Patent number 6,871,174
- Issue date Mar 22, 2005
- Microsoft Corporation
- William B. Dolan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Key-Value Store System
- Publication number 20220309049
- Publication date Sep 29, 2022
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
KEY-VALUE STORE SYSTEM
- Publication number 20190278849
- Publication date Sep 12, 2019
- Microsoft Technology Licensing, LLC
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRESSIVE QUERY COMPUTATION USING STREAMING ARCHITECTURES
- Publication number 20190057144
- Publication date Feb 21, 2019
- Microsoft Technology Licensing, LLC
- Danyel A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC PATTERN MATCHING CODE GENERATION
- Publication number 20190018905
- Publication date Jan 17, 2019
- Microsoft Technology Licensing, LLC
- Badrish CHANDRAMOULI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STREAM DATA PROCESSING ON MULTIPLE APPLICATION TIMELINES
- Publication number 20180218048
- Publication date Aug 2, 2018
- Microsoft Technology Licensing, LLC
- Badrish CHANDRAMOULI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRESSIVE QUERY COMPUTATION USING STREAMING ARCHITECTURES
- Publication number 20170154098
- Publication date Jun 1, 2017
- Microsoft Technology Licensing, LLC
- Danyel A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRESSIVE QUERY COMPUTATION USING STREAMING ARCHITECTURES
- Publication number 20150269228
- Publication date Sep 24, 2015
- Microsoft Corporation
- Danyel A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Analytical Data Processing Engine
- Publication number 20150169683
- Publication date Jun 18, 2015
- Microsoft Corporation
- Badrish Chandramouli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPERATING SYSTEM SUPPORT FOR CONTRACTS
- Publication number 20140282448
- Publication date Sep 18, 2014
- Microsoft Corporation
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING EXECUTION PATHS THAT SATISFY REACHABILITY QUERIES
- Publication number 20140096112
- Publication date Apr 3, 2014
- Microsoft Corporation
- Robert DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY
- Publication number 20100218169
- Publication date Aug 26, 2010
- Microsoft Corporation
- Melitta L. G. Andersen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Binary manipulation of intermediate-language code
- Publication number 20100083238
- Publication date Apr 1, 2010
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION
- Publication number 20090164973
- Publication date Jun 25, 2009
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OUT OF BAND DATA AUGMENTATION
- Publication number 20080256512
- Publication date Oct 16, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hiding irrelevant facts in verification conditions
- Publication number 20070169019
- Publication date Jul 19, 2007
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating finite state machines for software systems with asynchro...
- Publication number 20060224924
- Publication date Oct 5, 2006
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Conformance testing of multi-threaded and distributed software systems
- Publication number 20060212759
- Publication date Sep 21, 2006
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Extending test sequences to accepting states
- Publication number 20060179383
- Publication date Aug 10, 2006
- Microsoft Corporation
- Andreas Blass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for matching a textual input to a lexical knowled...
- Publication number 20050065777
- Publication date Mar 24, 2005
- Microsoft Corporation
- William B. Dolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Tool-based iterative document management
- Publication number 20040133858
- Publication date Jul 8, 2004
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Conformance execution of non-deterministic specifications for compo...
- Publication number 20030159132
- Publication date Aug 21, 2003
- Microsoft Corporation
- Michael Barnett
- G06 - COMPUTING CALCULATING COUNTING

Michael Barnett

Person

Patents Grantslast 30 patents

Key-value store system

Progressive query computation using streaming architectures

Key-value store system

Dynamic pattern matching code generation

Stream data processing on multiple application timelines

Progressive query computation using streaming architectures

Analytical data processing engine

Progressive query computation using streaming architectures

Operating system support for contracts

Identifying execution paths that satisfy reachability queries

Contract failure behavior with escalation policy

Contract programming for code error reduction

Out of band data augmentation

Hiding irrelevant facts in verification conditions

Conformance testing of multi-threaded and distributed software systems

Generating finite state machines for software systems with asynchro...

Extending test sequences to accepting states

Tool-based iterative document management

Conformance execution of non-deterministic specifications for compo...

System and method for matching a textual input to a lexical knowled...

System and method for matching a textual input to a lexical knowled...

Patents Applicationslast 30 patents

Key-Value Store System

KEY-VALUE STORE SYSTEM

PROGRESSIVE QUERY COMPUTATION USING STREAMING ARCHITECTURES

DYNAMIC PATTERN MATCHING CODE GENERATION

STREAM DATA PROCESSING ON MULTIPLE APPLICATION TIMELINES

PROGRESSIVE QUERY COMPUTATION USING STREAMING ARCHITECTURES

PROGRESSIVE QUERY COMPUTATION USING STREAMING ARCHITECTURES

Analytical Data Processing Engine

OPERATING SYSTEM SUPPORT FOR CONTRACTS

IDENTIFYING EXECUTION PATHS THAT SATISFY REACHABILITY QUERIES

CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY

Binary manipulation of intermediate-language code

CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION

OUT OF BAND DATA AUGMENTATION

Hiding irrelevant facts in verification conditions

Generating finite state machines for software systems with asynchro...

Conformance testing of multi-threaded and distributed software systems

Extending test sequences to accepting states

System and method for matching a textual input to a lexical knowled...

Tool-based iterative document management

Conformance execution of non-deterministic specifications for compo...