Inventor · disambiguated record
Nikolai Tillmann
Also filed as: TILLMANN NIKOLAI
33 granted patents·3 pending applications·482 citations·filing 2003–2013
97Inventor score
Technology areasG06F
Top patents by PatentIndex Score
36 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
- 0491US8522222B2Tracing just-in-time compilation with pointers to local variablesTILLMANN NIKOLAI·Filed 2010·Granted Aug 27, 2013·20 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
- 0790US7681180B2Parameterized test driven developmentMICROSOFT CORP·Filed 2007·Granted Mar 16, 2010·25 cites·20 claims
- 0890US7496791B2Mock object generation by symbolic executionMICROSOFT CORP·Filed 2005·Granted Feb 24, 2009·24 cites·20 claims
- 0987US9448772B2Generating program fragments using keywords and context informationMICROSOFT CORP·Filed 2013·Granted Sep 20, 2016·15 cites·20 claims
- 1082US7926025B2Symbolic program model compositionsMICROSOFT CORP·Filed 2005·Granted Apr 12, 2011·13 cites·14 claims
- 1180US8959496B2Automatic parallelization in a tracing just-in-time compiler systemSCHULTE WOLFRAM·Filed 2010·Granted Feb 17, 2015·10 cites·20 claims
- 1279US9239708B2Contextually intelligent code editingTILLMANN NIKOLAI·Filed 2010·Granted Jan 19, 2016·8 cites·20 claims
- 1379US7363202B2State exploration using multiple state groupingsMICROSOFT CORP·Filed 2005·Granted Apr 22, 2008·10 cites·17 claims
- 1478US8387021B2Symbolic runtime checking of quantified contractsMICROSOFT CORP·Filed 2008·Granted Feb 26, 2013·11 cites·16 claims
- 1577US8387016B2Whitebox trace fuzzingMICROSOFT CORP·Filed 2009·Granted Feb 26, 2013·8 cites·20 claims
- 1677US7500149B2Generating finite state machines for software systems with asynchronous callbacksMICROSOFT CORP·Filed 2005·Granted Mar 3, 2009·8 cites·31 claims
- 1776US7882495B2Bounded program failure analysis and correctionMICROSOFT CORP·Filed 2007·Granted Feb 1, 2011·8 cites·20 claims
- 1875US7493544B2Extending test sequences to accepting statesMICROSOFT CORP·Filed 2005·Granted Feb 17, 2009·8 cites·20 claims
- 1973US8180786B2Symbolic query explorationVEANES MARGUS·Filed 2009·Granted May 15, 2012·9 cites·20 claims
- 2073US7685571B2Interactive domain configurationMICROSOFT CORP·Filed 2003·Granted Mar 23, 2010·19 cites·7 claims
- 2171US9104528B2Controlling the release of private information using static flow analysisXIAO XUSHENG·Filed 2011·Granted Aug 11, 2015·5 cites·17 claims
- 2271US8453106B2Graphical user interface for exploring source code execution behaviorDELINE ROBERT ANTHONY·Filed 2010·Granted May 28, 2013·6 cites·20 claims
- 2371US7444622B2Access driven filteringMICROSOFT CORP·Filed 2003·Granted Oct 28, 2008·15 cites·28 claims
- 2469US9286038B2Interface development and operationMICROSOFT CORP·Filed 2013·Granted Mar 15, 2016·3 cites·20 claims
- 2569US7590520B2Non-deterministic testingMICROSOFT CORP·Filed 2004·Granted Sep 15, 2009·15 cites·10 claims
- 2669US7500226B2Efficient checking of state-dependent constraintsMICROSOFT CORP·Filed 2004·Granted Mar 3, 2009·14 cites·18 claims
- 2767US7548911B2Diagnosing problems in distributed systemsMICROSOFT CORP·Filed 2005·Granted Jun 16, 2009·4 cites·16 claims
- 2864US8533680B2Approximating finite domains in symbolic state explorationTILLMANN NIKOLAI·Filed 2005·Granted Sep 10, 2013·3 cites·19 claims
- 2961US8515891B2Symbolic finite automataVEANES MARGUS·Filed 2010·Granted Aug 20, 2013·1 cites·20 claims
- 3060US8726239B2Generating type-safe wrappers for dynamic detouringDE HALLEUX JONATHAN PAUL·Filed 2010·Granted May 13, 2014·2 cites·20 claims
- 3156US8949771B2Media files including programming code and descriptionMOSKAL MICHAL J·Filed 2011·Granted Feb 3, 2015·2 cites·20 claims
- 3252US7584463B2State as a first-class citizen of an imperative languageMICROSOFT CORP·Filed 2003·Granted Sep 1, 2009·2 cites·17 claims
- 3349US8468505B2State as a first-class citizen of an imperative languageGRIESKAMP WOLFGANG·Filed 2009·Granted Jun 18, 2013·0 cites·12 claims
- 3440US2013151519A1Ranking Programs in a Marketplace SystemAKHIN MARAT K·Filed 2011·Application pending·0 cites
- 3534US2013055138A1Dynamically changing key selection based on contextDE HALLEUX JONATHAN PAUL·Filed 2011·Application pending·0 cites
- 3632US2013091444A1Automatic rendering of interactive user interface elementsDE HALLEUX JONATHAN PELI PAUL·Filed 2011·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Nikolai Tillmann files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →