Nikolaj Skallerud Bjorner

Person

Woodinville, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Network configuration verification in computing systems
- Patent number 11,824,727
- Issue date Nov 21, 2023
- Microsoft Technology Licensing, LLC
- Karthick Jayaraman
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Decentralized wide-area network traffic engineering
- Patent number 11,811,646
- Issue date Nov 7, 2023
- Microsoft Technology Licensing, LLC
- Umesh Krishnaswamy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Network configuration verification in computing systems
- Patent number 11,516,088
- Issue date Nov 29, 2022
- Microsoft Technology Licensing, LLC
- Karthick Jayaraman
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Methods for capacity provisioning in wide area networks using optic...
- Patent number 11,342,996
- Issue date May 24, 2022
- Microsoft Technology Licensing, LLC
- Rachee Singh
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Network verification systems and methods
- Patent number 11,121,934
- Issue date Sep 14, 2021
- Microsoft Technology Licensing, LLC
- Ryan Andrew Beckett
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Capacity engineering in distributed computing systems
- Patent number 10,574,536
- Issue date Feb 25, 2020
- Microsoft Technology Licensing, LLC
- Zhao Cheng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus, method, and manufacture for cloud network updating
- Patent number 10,411,967
- Issue date Sep 10, 2019
- Microsoft Technology Licensing, LLC
- Umesh Krishnaswamy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Validating routing tables of routing devices
- Patent number 10,333,794
- Issue date Jun 25, 2019
- Microsoft Technology Licensing, LLC
- Nikolaj Skallerud Bjorner
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Test components factorization in a build system
- Patent number 10,241,904
- Issue date Mar 26, 2019
- Microsoft Technology Licensing, LLC
- Suresh Thummalapenta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Validating routing tables of routing devices
- Patent number 9,900,222
- Issue date Feb 20, 2018
- Microsoft Technology Licensing, LLC
- Nikolaj Skallerud Bjorner
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Matching based pattern inference for SMT solvers
- Patent number 9,489,221
- Issue date Nov 8, 2016
- Microsoft Technology Licensing, LLC
- Nikolaj S. Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for compact form exhaustive analysis of security...
- Patent number 9,467,473
- Issue date Oct 11, 2016
- Microsoft Technology Licensing, LLC
- Karthick Jayaraman
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Early detection of failing computers
- Patent number 9,424,157
- Issue date Aug 23, 2016
- Microsoft Technology Licensing, LLC
- Nikolaj Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimized data stream compression using data-dependent chunking
- Patent number 8,819,288
- Issue date Aug 26, 2014
- Microsoft Corporation
- Nadim Y. Abdo
- H03 - BASIC ELECTRONIC CIRCUITRY
Information Patent Grant
Early detection of failing computers
- Patent number 8,677,191
- Issue date Mar 18, 2014
- Microsoft Corporation
- Nikolaj Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing diverse solutions using design space exploration
- Patent number 8,473,895
- Issue date Jun 25, 2013
- Microsoft Corporation
- Ethan K. Jackson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic runtime checking of quantified contracts
- Patent number 8,387,021
- Issue date Feb 26, 2013
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Relevancy propagation for efficient theory combination
- Patent number 8,140,459
- Issue date Mar 20, 2012
- Microsoft Corporation
- Nikolaj Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient chunking algorithm
- Patent number 8,117,173
- Issue date Feb 14, 2012
- Microsoft Corporation
- Yuri Gurevich
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
E-matching for SMT solvers
- Patent number 8,103,674
- Issue date Jan 24, 2012
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model-based theory combination
- Patent number 7,925,476
- Issue date Apr 12, 2011
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resource freshness and replication
- Patent number 7,788,223
- Issue date Aug 31, 2010
- Microsoft Corporation
- Huisheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable file replication and web-based access
- Patent number 7,743,023
- Issue date Jun 22, 2010
- Microsoft Corporation
- Dan Teodosiu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Universal naming scheme for peer-to-peer resources
- Patent number 7,734,817
- Issue date Jun 8, 2010
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Granular control over the authority of replicated information via f...
- Patent number 7,660,833
- Issue date Feb 9, 2010
- Microsoft Corporation
- Dan Teodosiu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Applications for remote differential compression
- Patent number 7,640,363
- Issue date Dec 29, 2009
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Scalable differential compression of network data
- Patent number 7,640,354
- Issue date Dec 29, 2009
- Microsoft Corporation
- Nikolaj Skallerud Bjorner
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Locator and tracking service for peer-to-peer resources
- Patent number 7,624,179
- Issue date Nov 24, 2009
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Pre-existing content replication
- Patent number 7,620,721
- Issue date Nov 17, 2009
- Microsoft Corporation
- Guhan Suriyanarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Locator and tracking service for peer-to-peer resources
- Patent number 7,610,378
- Issue date Oct 27, 2009
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
DECENTRALIZED WIDE-AREA NETWORK TRAFFIC ENGINEERING
- Publication number 20240015094
- Publication date Jan 11, 2024
- Microsoft Technology Licensing, LLC
- Umesh KRISHNASWAMY
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
NETWORK CONFIGURATION VERIFICATION IN COMPUTING SYSTEMS
- Publication number 20240015072
- Publication date Jan 11, 2024
- Microsoft Technology Licensing, LLC
- Karthick JAYARAMAN
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
NETWORK VERIFICATION SYSTEMS AND METHODS
- Publication number 20230300053
- Publication date Sep 21, 2023
- Microsoft Technology Licensing, LLC
- Ryan Andrew BECKETT
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTIC...
- Publication number 20230275666
- Publication date Aug 31, 2023
- Microsoft Technology Licensing, LLC
- Rachee SINGH
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DECENTRALIZED WIDE-AREA NETWORK TRAFFIC ENGINEERING
- Publication number 20230275828
- Publication date Aug 31, 2023
- Microsoft Technology Licensing, LLC
- Umesh KRISHNASWAMY
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
NETWORK CONFIGURATION VERIFICATION IN COMPUTING SYSTEMS
- Publication number 20230134981
- Publication date May 4, 2023
- Microsoft Technology Licensing, LLC
- Karthick JAYARAMAN
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTIC...
- Publication number 20220321220
- Publication date Oct 6, 2022
- Microsoft Technology Licensing, LLC
- Rachee SINGH
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
CAPACITY ENGINEERING IN DISTRIBUTED COMPUTING SYSTEMS
- Publication number 20190268234
- Publication date Aug 29, 2019
- Microsoft Technology Licensing, LLC
- Zhao Cheng
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
TEST COMPONENTS FACTORIZATION IN A BUILD SYSTEM
- Publication number 20180293159
- Publication date Oct 11, 2018
- Microsoft Technology Licensing, LLC
- Suresh Thummalapenta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Validating Routing Tables of Routing Devices
- Publication number 20180176094
- Publication date Jun 21, 2018
- Microsoft Technology Licensing, LLC
- Nikolaj Skallerud Bjorner
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
APPARATUS, METHOD, AND MANUFACTURE FOR CLOUD NETWORK UPDATING
- Publication number 20180109424
- Publication date Apr 19, 2018
- Microsoft Technology Licensing, LLC
- Umesh Krishnaswamy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VALIDATING ROUTING TABLES OF ROUTING DEVICES
- Publication number 20170118083
- Publication date Apr 27, 2017
- Microsoft Technology Licensing, LLC
- Nikolaj Skallerud Bjorner
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SYSTEM AND METHOD FOR COMPACT FORM EXHAUSTIVE ANALYSIS OF SECURITY...
- Publication number 20150082370
- Publication date Mar 19, 2015
- Microsoft Corporation
- Karthick Jayaraman
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Early Detection Of Failing Computers
- Publication number 20140195860
- Publication date Jul 10, 2014
- Microsoft Corporation
- Nikolaj BJORNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Early Detection of Failing Computers
- Publication number 20120151276
- Publication date Jun 14, 2012
- Microsoft Corporation
- Nikolaj BJORNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Providing Diverse Solutions Using Design Space Exploration
- Publication number 20110302550
- Publication date Dec 8, 2011
- Microsoft Corporation
- Ethan K. Jackson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Runtime Checking of Quantified Contracts
- Publication number 20100083233
- Publication date Apr 1, 2010
- Microsoft Corporation
- Dries Vanoverberghe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Matching Based Pattern Inference for SMT Solvers
- Publication number 20090328015
- Publication date Dec 31, 2009
- Microsoft Corporation
- Nikolaj S. Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT CHUNKING ALGORITHM
- Publication number 20090271528
- Publication date Oct 29, 2009
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Propagation of don't cares for efficient theory combination
- Publication number 20090216701
- Publication date Aug 27, 2009
- Microsoft Corporation
- Nikolaj Skallerud Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL-BASED THEORY COMBINATION
- Publication number 20090192767
- Publication date Jul 30, 2009
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
E-MATCHING FOR SMT SOLVERS
- Publication number 20090164501
- Publication date Jun 25, 2009
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Optimized Data Stream Compression Using Data-Dependent Chunking
- Publication number 20090077252
- Publication date Mar 19, 2009
- Microsoft Corporation
- Nadim Y. Abdo
- H03 - BASIC ELECTRONIC CIRCUITRY
Information Patent Application
SCALABLE DIFFERENTIAL COMPRESSION OF NETWORK DATA
- Publication number 20080133536
- Publication date Jun 5, 2008
- Microsoft Corporation
- Nikolaj Skallerud Bjorner
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Shutdown recovery
- Publication number 20070220328
- Publication date Sep 20, 2007
- Microsoft Corporation
- Huisheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Pre-existing content replication
- Publication number 20070220067
- Publication date Sep 20, 2007
- Microsoft Corporation
- Guhan Suriyanarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scalable File Replication and Web-based Access
- Publication number 20070185932
- Publication date Aug 9, 2007
- Microsoft Corporation
- Dan Teodosiu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Resource freshness and replication
- Publication number 20070168516
- Publication date Jul 19, 2007
- Microsoft Corporation
- Huisheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Slave replica member
- Publication number 20070112887
- Publication date May 17, 2007
- Microsoft Corporation
- Huisheng Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Resource replication service protocol
- Publication number 20070026373
- Publication date Feb 1, 2007
- Microsoft Corporation
- Guhan Suriyanarayanan
- G06 - COMPUTING CALCULATING COUNTING

Nikolaj Skallerud Bjorner

Person

Patents Grantslast 30 patents

Network configuration verification in computing systems

Decentralized wide-area network traffic engineering

Network configuration verification in computing systems

Methods for capacity provisioning in wide area networks using optic...

Network verification systems and methods

Capacity engineering in distributed computing systems

Apparatus, method, and manufacture for cloud network updating

Validating routing tables of routing devices

Test components factorization in a build system

Validating routing tables of routing devices

Matching based pattern inference for SMT solvers

System and method for compact form exhaustive analysis of security...

Early detection of failing computers

Optimized data stream compression using data-dependent chunking

Early detection of failing computers

Providing diverse solutions using design space exploration

Symbolic runtime checking of quantified contracts

Relevancy propagation for efficient theory combination

Efficient chunking algorithm

E-matching for SMT solvers

Model-based theory combination

Resource freshness and replication

Scalable file replication and web-based access

Universal naming scheme for peer-to-peer resources

Granular control over the authority of replicated information via f...

Applications for remote differential compression

Scalable differential compression of network data

Locator and tracking service for peer-to-peer resources

Pre-existing content replication

Locator and tracking service for peer-to-peer resources

Patents Applicationslast 30 patents

DECENTRALIZED WIDE-AREA NETWORK TRAFFIC ENGINEERING

NETWORK CONFIGURATION VERIFICATION IN COMPUTING SYSTEMS

NETWORK VERIFICATION SYSTEMS AND METHODS

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTIC...

DECENTRALIZED WIDE-AREA NETWORK TRAFFIC ENGINEERING

NETWORK CONFIGURATION VERIFICATION IN COMPUTING SYSTEMS

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTIC...

CAPACITY ENGINEERING IN DISTRIBUTED COMPUTING SYSTEMS

TEST COMPONENTS FACTORIZATION IN A BUILD SYSTEM

Validating Routing Tables of Routing Devices

APPARATUS, METHOD, AND MANUFACTURE FOR CLOUD NETWORK UPDATING

VALIDATING ROUTING TABLES OF ROUTING DEVICES

SYSTEM AND METHOD FOR COMPACT FORM EXHAUSTIVE ANALYSIS OF SECURITY...

Early Detection Of Failing Computers

Early Detection of Failing Computers

Providing Diverse Solutions Using Design Space Exploration

Symbolic Runtime Checking of Quantified Contracts

Matching Based Pattern Inference for SMT Solvers

EFFICIENT CHUNKING ALGORITHM

Propagation of don't cares for efficient theory combination

MODEL-BASED THEORY COMBINATION

E-MATCHING FOR SMT SOLVERS

Optimized Data Stream Compression Using Data-Dependent Chunking

SCALABLE DIFFERENTIAL COMPRESSION OF NETWORK DATA

Shutdown recovery

Pre-existing content replication

Scalable File Replication and Web-based Access

Resource freshness and replication

Slave replica member

Resource replication service protocol