Wolfram Schulte

Person

Bellevue, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Chunk storage deduplication using graph structures
- Patent number 10,210,170
- Issue date Feb 19, 2019
- Microsoft Technology Licensing, LLC
- Lars Kuhtz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Ordered cache tiering for program build files
- Patent number 10,162,626
- Issue date Dec 25, 2018
- Microsoft Technology Licensing, LLC
- Erik C. Mavrinac
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic parallelization in a tracing just-in-time compiler system
- Patent number 8,959,496
- Issue date Feb 17, 2015
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Approximating finite domains in symbolic state exploration
- Patent number 8,533,680
- Issue date Sep 10, 2013
- Microsoft Corporation
- Nikolai Tillmann
- 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
State as a first-class citizen of an imperative language
- Patent number 8,468,505
- Issue date Jun 18, 2013
- Microsoft Corporation
- Wolfgang Grieskamp
- 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
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
Executing tasks through multiple processors that process different...
- Patent number 8,112,751
- Issue date Feb 7, 2012
- Microsoft Corporation
- Daniel J. P. Leijen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Core object-oriented type system for semi-structured data
- Patent number 8,112,740
- Issue date Feb 7, 2012
- Microsoft Corporation
- Erik Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Feature oriented protocol modeling
- Patent number 8,103,495
- Issue date Jan 24, 2012
- Microsoft Corporation
- Margus Veanes
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Systems and methods that transform constructs from domain to domain
- Patent number 8,073,879
- Issue date Dec 6, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Core object-oriented type system for semi-structured data
- Patent number 8,060,859
- Issue date Nov 15, 2011
- Microsoft Corporation
- Erik Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic execution of object oriented programs with axiomatic summa...
- Patent number 8,046,746
- Issue date Oct 25, 2011
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast flattening of nested streams
- Patent number 7,937,694
- Issue date May 3, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic program model compositions
- Patent number 7,926,025
- Issue date Apr 12, 2011
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compositional lifting of operations over structural types
- Patent number 7,912,863
- Issue date Mar 22, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bounded program failure analysis and correction
- Patent number 7,882,495
- Issue date Feb 1, 2011
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Specification generation from implementations
- Patent number 7,844,951
- Issue date Nov 30, 2010
- Microsoft Corporation
- Feng Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stabilization of distributed systems
- Patent number 7,822,853
- Issue date Oct 26, 2010
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parameterized unit tests with behavioral purity axioms
- Patent number 7,797,687
- Issue date Sep 14, 2010
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for specifying and verifying multi-threaded object-oriented...
- Patent number 7,774,787
- Issue date Aug 10, 2010
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type-system extensions for object-oriented language based on coerci...
- Patent number 7,774,376
- Issue date Aug 10, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- 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
Generalized comprehension in imperative languages
- Patent number 7,730,462
- Issue date Jun 1, 2010
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive domain configuration
- Patent number 7,685,571
- Issue date Mar 23, 2010
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parameterized test driven development
- Patent number 7,681,180
- Issue date Mar 16, 2010
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating test cases for software with complex preconditions
- Patent number 7,665,072
- Issue date Feb 16, 2010
- Microsoft Corporation
- Nikolai Tillman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interaction with nested and non-nested streams
- Patent number 7,661,096
- Issue date Feb 9, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Meta-data driven test-data generation with controllable combinatori...
- Patent number 7,640,470
- Issue date Dec 29, 2009
- Microsoft Corporation
- Ralf Lammel
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
OPTIMIZING MACHINE LEARNING
- Publication number 20220269927
- Publication date Aug 25, 2022
- META PLATFORMS, INC.
- Tristan Alexander Rice
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ORDERED CACHE TIERING FOR PROGRAM BUILD FILES
- Publication number 20180293068
- Publication date Oct 11, 2018
- Microsoft Technology Licensing, LLC
- Erik C. Mavrinac
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CHUNK STORAGE DEDUPLICATION USING GRAPH STRUCTURES
- Publication number 20180218005
- Publication date Aug 2, 2018
- Microsoft Technology Licensing, LLC
- Lars KUHTZ
- 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
Automatic Parallelization in a Tracing Just-in-Time Compiler System
- Publication number 20110265067
- Publication date Oct 27, 2011
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software Verification Using Two-State Invariants
- Publication number 20110083124
- Publication date Apr 7, 2011
- Microsoft Corporation
- Michal Jan Moskal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXECUTING TASKS THROUGH MULTIPLE PROCESSORS CONSISTENTLY WITH DYNAM...
- Publication number 20100269110
- Publication date Oct 21, 2010
- Microsoft Corporation
- Daniel J. P. Leijen
- 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
Stabilization of distributed systems
- Publication number 20100082802
- Publication date Apr 1, 2010
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE
- Publication number 20100011194
- Publication date Jan 14, 2010
- Microsoft Corporation
- Wolfgang Grieskamp
- 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
FEATURE ORIENTED PROTOCOL MODELING
- Publication number 20090043560
- Publication date Feb 12, 2009
- Microsoft Corporation
- Margus Veanes
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA
- Publication number 20080313609
- Publication date Dec 18, 2008
- Microsoft Corporation
- Erik Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION
- Publication number 20080313602
- Publication date Dec 18, 2008
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARAMETERIZED TEST DRIVEN DEVELOPMENT
- Publication number 20080307264
- Publication date Dec 11, 2008
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA
- Publication number 20080306617
- Publication date Dec 11, 2008
- Microsoft Corporation
- Erik Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Meta-data driven test-data generation with controllable combinatori...
- Publication number 20080065941
- Publication date Mar 13, 2008
- Microsoft Corporation
- Ralf Lammel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic program model compositions
- Publication number 20070168927
- Publication date Jul 19, 2007
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Specification generation from implementations
- Publication number 20070157169
- Publication date Jul 5, 2007
- Microsoft Corporation
- Feng Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Approximating finite domains in symbolic state exploration
- Publication number 20070157180
- Publication date Jul 5, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Unit test generalization
- Publication number 20070033443
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Mock object generation by symbolic execution
- Publication number 20070033442
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parameterized unit tests
- Publication number 20070033440
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic execution of object oriented programs with axiomatic summa...
- Publication number 20070033576
- Publication date Feb 8, 2007
- Microsoft Corporation
- Nikolai Tillmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating test cases for software with complex preconditions
- Publication number 20060242466
- Publication date Oct 26, 2006
- Microsoft Corporation
- Nikolai Tillmann
- 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
State exploration using multiple state groupings
- Publication number 20060161404
- Publication date Jul 20, 2006
- Microsoft Corporation
- Colin L. Campbell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for specifying and verifying multi-threaded object-oriented...
- Publication number 20060155905
- Publication date Jul 13, 2006
- Microsoft Corporation
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING

Wolfram Schulte

Person

Patents Grantslast 30 patents

Chunk storage deduplication using graph structures

Ordered cache tiering for program build files

Automatic parallelization in a tracing just-in-time compiler system

Approximating finite domains in symbolic state exploration

Providing diverse solutions using design space exploration

State as a first-class citizen of an imperative language

Symbolic runtime checking of quantified contracts

Contract programming for code error reduction

Executing tasks through multiple processors that process different...

Core object-oriented type system for semi-structured data

Feature oriented protocol modeling

Systems and methods that transform constructs from domain to domain

Core object-oriented type system for semi-structured data

Symbolic execution of object oriented programs with axiomatic summa...

Fast flattening of nested streams

Symbolic program model compositions

Compositional lifting of operations over structural types

Bounded program failure analysis and correction

Specification generation from implementations

Stabilization of distributed systems

Parameterized unit tests with behavioral purity axioms

Method for specifying and verifying multi-threaded object-oriented...

Type-system extensions for object-oriented language based on coerci...

Conformance testing of multi-threaded and distributed software systems

Generalized comprehension in imperative languages

Interactive domain configuration

Parameterized test driven development

Generating test cases for software with complex preconditions

Interaction with nested and non-nested streams

Meta-data driven test-data generation with controllable combinatori...

Patents Applicationslast 30 patents

OPTIMIZING MACHINE LEARNING

ORDERED CACHE TIERING FOR PROGRAM BUILD FILES

CHUNK STORAGE DEDUPLICATION USING GRAPH STRUCTURES

Providing Diverse Solutions Using Design Space Exploration

Automatic Parallelization in a Tracing Just-in-Time Compiler System

Software Verification Using Two-State Invariants

EXECUTING TASKS THROUGH MULTIPLE PROCESSORS CONSISTENTLY WITH DYNAM...

Symbolic Runtime Checking of Quantified Contracts

Stabilization of distributed systems

STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE

CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION

FEATURE ORIENTED PROTOCOL MODELING

CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA

BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION

PARAMETERIZED TEST DRIVEN DEVELOPMENT

CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA

Meta-data driven test-data generation with controllable combinatori...

Symbolic program model compositions

Specification generation from implementations

Approximating finite domains in symbolic state exploration

Unit test generalization

Mock object generation by symbolic execution

Parameterized unit tests

Symbolic execution of object oriented programs with axiomatic summa...

Generating test cases for software with complex preconditions

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

Conformance testing of multi-threaded and distributed software systems

Extending test sequences to accepting states

State exploration using multiple state groupings

Method for specifying and verifying multi-threaded object-oriented...