Inventor · disambiguated record
Wolfgang Grieskamp
Also filed as: GRIESKAMP WOLFGANG
24 granted patents·2 pending applications·431 citations·filing 2002–2025
96Inventor score
Top patents by PatentIndex Score
26 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
- 0392US7844951B2Specification generation from implementationsMICROSOFT CORP·Filed 2005·Granted Nov 30, 2010·35 cites·15 claims
- 0491US11403540B2On-device machine learning platformGOOGLE INC·Filed 2017·Granted Aug 2, 2022·7 cites·20 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
- 0790US7496791B2Mock object generation by symbolic executionMICROSOFT CORP·Filed 2005·Granted Feb 24, 2009·24 cites·20 claims
- 0886US7451435B2Self-describing artifacts and application abstractionsMICROSOFT CORP·Filed 2004·Granted Nov 11, 2008·46 cites·41 claims
- 0983US7665072B2Generating test cases for software with complex preconditionsMICROSOFT CORP·Filed 2005·Granted Feb 16, 2010·16 cites·14 claims
- 1082US7926025B2Symbolic program model compositionsMICROSOFT CORP·Filed 2005·Granted Apr 12, 2011·13 cites·14 claims
- 1179US7363202B2State exploration using multiple state groupingsMICROSOFT CORP·Filed 2005·Granted Apr 22, 2008·10 cites·17 claims
- 1277US7500149B2Generating finite state machines for software systems with asynchronous callbacksMICROSOFT CORP·Filed 2005·Granted Mar 3, 2009·8 cites·31 claims
- 1377US2025245533A1On-Device Machine Learning PlatformGOOGLE LLC·Filed 2025·Application pending·0 cites
- 1475US7493544B2Extending test sequences to accepting statesMICROSOFT CORP·Filed 2005·Granted Feb 17, 2009·8 cites·20 claims
- 1575US7088864B2Generating a test suite from an abstract state machineMICROSOFT CORP·Filed 2002·Granted Aug 8, 2006·10 cites·23 claims
- 1673US7685571B2Interactive domain configurationMICROSOFT CORP·Filed 2003·Granted Mar 23, 2010·19 cites·7 claims
- 1772US12282869B2On-device machine learning platformGOOGLE LLC·Filed 2022·Granted Apr 22, 2025·0 cites·35 claims
- 1871US7444622B2Access driven filteringMICROSOFT CORP·Filed 2003·Granted Oct 28, 2008·15 cites·28 claims
- 1969US7590520B2Non-deterministic testingMICROSOFT CORP·Filed 2004·Granted Sep 15, 2009·15 cites·10 claims
- 2069US7500226B2Efficient checking of state-dependent constraintsMICROSOFT CORP·Filed 2004·Granted Mar 3, 2009·14 cites·18 claims
- 2166US11138517B2On-device machine learning platformGOOGLE INC·Filed 2017·Granted Oct 5, 2021·1 cites·20 claims
- 2265US2022004929A1On-Device Machine Learning PlatformGOOGLE INC·Filed 2021·Application pending·0 cites
- 2364US8533680B2Approximating finite domains in symbolic state explorationTILLMANN NIKOLAI·Filed 2005·Granted Sep 10, 2013·3 cites·19 claims
- 2459US7730462B2Generalized comprehension in imperative languagesMICROSOFT CORP·Filed 2004·Granted Jun 1, 2010·6 cites·22 claims
- 2552US7584463B2State as a first-class citizen of an imperative languageMICROSOFT CORP·Filed 2003·Granted Sep 1, 2009·2 cites·17 claims
- 2649US8468505B2State as a first-class citizen of an imperative languageGRIESKAMP WOLFGANG·Filed 2009·Granted Jun 18, 2013·0 cites·12 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →