Inventor · disambiguated record
Margus Veanes
Also filed as: VEANES MARGUS
18 granted patents·3 pending applications·199 citations·filing 2002–2022
94Inventor score
Top patents by PatentIndex Score
21 records- 0190US7747985B2Conformance testing of multi-threaded and distributed software systemsMICROSOFT CORP·Filed 2005·Granted Jun 29, 2010·28 cites·17 claims
- 0283US7665072B2Generating test cases for software with complex preconditionsMICROSOFT CORP·Filed 2005·Granted Feb 16, 2010·16 cites·14 claims
- 0382US7926025B2Symbolic program model compositionsMICROSOFT CORP·Filed 2005·Granted Apr 12, 2011·13 cites·14 claims
- 0479US9355268B2Managing access by applications to perceptual informationMICROSOFT CORP·Filed 2013·Granted May 31, 2016·6 cites·20 claims
- 0579US7363202B2State exploration using multiple state groupingsMICROSOFT CORP·Filed 2005·Granted Apr 22, 2008·10 cites·17 claims
- 0679US7284235B2Creation of content versions using content layersMICROSOFT CORP·Filed 2003·Granted Oct 16, 2007·26 cites·19 claims
- 0777US7500149B2Generating finite state machines for software systems with asynchronous callbacksMICROSOFT CORP·Filed 2005·Granted Mar 3, 2009·8 cites·31 claims
- 0875US7493544B2Extending test sequences to accepting statesMICROSOFT CORP·Filed 2005·Granted Feb 17, 2009·8 cites·20 claims
- 0975US7088864B2Generating a test suite from an abstract state machineMICROSOFT CORP·Filed 2002·Granted Aug 8, 2006·10 cites·23 claims
- 1073US8180786B2Symbolic query explorationVEANES MARGUS·Filed 2009·Granted May 15, 2012·9 cites·20 claims
- 1169US7590520B2Non-deterministic testingMICROSOFT CORP·Filed 2004·Granted Sep 15, 2009·15 cites·10 claims
- 1267US7548911B2Diagnosing problems in distributed systemsMICROSOFT CORP·Filed 2005·Granted Jun 16, 2009·4 cites·16 claims
- 1361US8515891B2Symbolic finite automataVEANES MARGUS·Filed 2010·Granted Aug 20, 2013·1 cites·20 claims
- 1461US8103495B2Feature oriented protocol modelingVEANES MARGUS·Filed 2007·Granted Jan 24, 2012·2 cites·19 claims
- 1559US9946354B2Gesture processing using a domain-specific gesture languageMICROSOFT CORP·Filed 2014·Granted Apr 17, 2018·1 cites·23 claims
- 1657US7149678B2High level executable network abstract machineMICROSOFT CORP·Filed 2002·Granted Dec 12, 2006·32 cites·23 claims
- 1750US7337388B2Tool-based iterative document managementMICROSOFT CORP·Filed 2003·Granted Feb 26, 2008·10 cites·22 claims
- 1847US2015371140A1Minimizing Symbolic Finite AutomataMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2014·Application pending·0 cites
- 1945US11983223B2Finite automaton construction using regular expression derivatives to simulate behavior of a backtracking engineMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted May 14, 2024·0 cites·21 claims
- 2041US2015371033A1String and Password Generation from Regular ExpressionsMICROSOFT CORP·Filed 2014·Application pending·0 cites
- 2136US2012151592A1String operations with transducersVEANES MARGUS·Filed 2010·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →