Inventor · disambiguated record
Wolfram Schulte
Also filed as: SCHULTE WOLFRAM
43 granted patents·4 pending applications·707 citations·filing 2002–2022
98Inventor score
Files withMICROSOFT CORP32MEIJER ERIK2MICROSOFT TECHNOLOGY LICENSING LLC2BARNETT MICHAEL1CHEN CHIA-HSUN1
Top patents by PatentIndex Score
47 records- 0197US7587636B2Unit test generalizationMICROSOFT CORP·Filed 2005·Granted Sep 8, 2009·72 cites·20 claims
- 0295US7797687B2Parameterized unit tests with behavioral purity axiomsMICROSOFT CORP·Filed 2005·Granted Sep 14, 2010·52 cites·20 claims
- 0393US8112740B2Core object-oriented type system for semi-structured dataMEIJER ERIK·Filed 2008·Granted Feb 7, 2012·34 cites·20 claims
- 0492US7844951B2Specification generation from implementationsMICROSOFT CORP·Filed 2005·Granted Nov 30, 2010·35 cites·15 claims
- 0591US8046746B2Symbolic execution of object oriented programs with axiomatic summariesMICROSOFT CORP·Filed 2005·Granted Oct 25, 2011·27 cites·18 claims
- 0690US7747985B2Conformance testing of multi-threaded and distributed software systemsMICROSOFT CORP·Filed 2005·Granted Jun 29, 2010·28 cites·17 claims
- 0790US7681180B2Parameterized test driven developmentMICROSOFT CORP·Filed 2007·Granted Mar 16, 2010·25 cites·20 claims
- 0890US7640470B2Meta-data driven test-data generation with controllable combinatorial coverageMICROSOFT CORP·Filed 2006·Granted Dec 29, 2009·25 cites·20 claims
- 0990US7496791B2Mock object generation by symbolic executionMICROSOFT CORP·Filed 2005·Granted Feb 24, 2009·24 cites·20 claims
- 1089US7216338B2Conformance execution of non-deterministic specifications for componentsMICROSOFT CORP·Filed 2002·Granted May 8, 2007·67 cites·26 claims
- 1186US7661096B2Interaction with nested and non-nested streamsMICROSOFT CORP·Filed 2005·Granted Feb 9, 2010·17 cites·12 claims
- 1285US7389498B2Core object-oriented type system for semi-structured dataMICROSOFT CORP·Filed 2003·Granted Jun 17, 2008·40 cites·22 claims
- 1384US10162626B2Ordered cache tiering for program build filesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Dec 25, 2018·6 cites·20 claims
- 1483US7665072B2Generating test cases for software with complex preconditionsMICROSOFT CORP·Filed 2005·Granted Feb 16, 2010·16 cites·14 claims
- 1582US7926025B2Symbolic program model compositionsMICROSOFT CORP·Filed 2005·Granted Apr 12, 2011·13 cites·14 claims
- 1682US7774787B2Method for specifying and verifying multi-threaded object-oriented programs with invariantsMICROSOFT CORP·Filed 2005·Granted Aug 10, 2010·16 cites·15 claims
- 1780US8959496B2Automatic parallelization in a tracing just-in-time compiler systemSCHULTE WOLFRAM·Filed 2010·Granted Feb 17, 2015·10 cites·20 claims
- 1879US7363202B2State exploration using multiple state groupingsMICROSOFT CORP·Filed 2005·Granted Apr 22, 2008·10 cites·17 claims
- 1978US8387021B2Symbolic runtime checking of quantified contractsMICROSOFT CORP·Filed 2008·Granted Feb 26, 2013·11 cites·16 claims
- 2077US8250524B2Contract programming for code error reductionBARNETT MICHAEL·Filed 2007·Granted Aug 21, 2012·9 cites·14 claims
- 2177US7500149B2Generating finite state machines for software systems with asynchronous callbacksMICROSOFT CORP·Filed 2005·Granted Mar 3, 2009·8 cites·31 claims
- 2276US7882495B2Bounded program failure analysis and correctionMICROSOFT CORP·Filed 2007·Granted Feb 1, 2011·8 cites·20 claims
- 2376US7774376B1Type-system extensions for object-oriented language based on coercive subtyping with restrictionsMICROSOFT CORP·Filed 2004·Granted Aug 10, 2010·23 cites·18 claims
- 2475US7493544B2Extending test sequences to accepting statesMICROSOFT CORP·Filed 2005·Granted Feb 17, 2009·8 cites·20 claims
- 2575US7088864B2Generating a test suite from an abstract state machineMICROSOFT CORP·Filed 2002·Granted Aug 8, 2006·10 cites·23 claims
- 2674US10210170B2Chunk storage deduplication using graph structuresMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Feb 19, 2019·3 cites·20 claims
- 2773US7685571B2Interactive domain configurationMICROSOFT CORP·Filed 2003·Granted Mar 23, 2010·19 cites·7 claims
- 2871US7444622B2Access driven filteringMICROSOFT CORP·Filed 2003·Granted Oct 28, 2008·15 cites·28 claims
- 2969US7500226B2Efficient checking of state-dependent constraintsMICROSOFT CORP·Filed 2004·Granted Mar 3, 2009·14 cites·18 claims
- 3068US8112751B2Executing tasks through multiple processors that process different portions of a replicable taskLEIJEN DANIEL J P·Filed 2008·Granted Feb 7, 2012·8 cites·14 claims
- 3167US7937694B2Fast flattening of nested streamsMICROSOFT CORP·Filed 2004·Granted May 3, 2011·12 cites·23 claims
- 3265US8060859B2Core object-oriented type system for semi-structured dataMEIJER ERIK·Filed 2008·Granted Nov 15, 2011·2 cites·7 claims
- 3365US7912863B1Compositional lifting of operations over structural typesMICROSOFT CORP·Filed 2004·Granted Mar 22, 2011·11 cites·39 claims
- 3464US8533680B2Approximating finite domains in symbolic state explorationTILLMANN NIKOLAI·Filed 2005·Granted Sep 10, 2013·3 cites·19 claims
- 3561US8103495B2Feature oriented protocol modelingVEANES MARGUS·Filed 2007·Granted Jan 24, 2012·2 cites·19 claims
- 3660US7441237B2System and method for extending a compiler through a composerMICROSOFT CORP·Filed 2003·Granted Oct 21, 2008·7 cites·31 claims
- 3759US8073879B2Systems and methods that transform constructs from domain to domainMEIJER HENRICUS JOHANNES MARIA·Filed 2004·Granted Dec 6, 2011·6 cites·16 claims
- 3859US7730462B2Generalized comprehension in imperative languagesMICROSOFT CORP·Filed 2004·Granted Jun 1, 2010·6 cites·22 claims
- 3952US7584463B2State as a first-class citizen of an imperative languageMICROSOFT CORP·Filed 2003·Granted Sep 1, 2009·2 cites·17 claims
- 4052US2022269927A1Optimizing machine learningMETA PLATFORMS INC·Filed 2022·Application pending·0 cites
- 4151US7530080B2Implementation of alias preserving structural subtyping with precise types using transparent adaptersMICROSOFT CORP·Filed 2003·Granted May 5, 2009·2 cites·6 claims
- 4249US8473895B2Providing diverse solutions using design space explorationJACKSON ETHAN K·Filed 2010·Granted Jun 25, 2013·1 cites·20 claims
- 4349US8468505B2State as a first-class citizen of an imperative languageGRIESKAMP WOLFGANG·Filed 2009·Granted Jun 18, 2013·0 cites·12 claims
- 4446US2011083124A1Software Verification Using Two-State InvariantsMICROSOFT CORP·Filed 2009·Application pending·0 cites
- 4543US2004194057A1System and method for constructing and validating object oriented XML expressionsFiled 2003·Application pending·0 cites
- 4643US2004193575A1Path expressions and SQL select statement in object oriented languageCHEN CHIA-HSUN·Filed 2003·Application pending·0 cites
- 4742US7822853B2Stabilization of distributed systemsMICROSOFT CORP·Filed 2008·Granted Oct 26, 2010·0 cites·13 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →