Inventor · disambiguated record
Manuel A. Fahndrich
Also filed as: FAEHNDRICH MANUEL · FAEHNDRICH MANUEL A · FAHNDRICH MANUEL · FAHNDRICH MANUEL A
18 granted patents·4 pending applications·311 citations·filing 2000–2016
95Inventor score
Technology areasG06F
Top patents by PatentIndex Score
22 records- 0189US6813761B1Methods for enhancing flow analysisMICROSOFT CORP·Filed 2000·Granted Nov 2, 2004·52 cites·41 claims
- 0288US7882317B2Process isolation using protection domainsMICROSOFT CORP·Filed 2006·Granted Feb 1, 2011·21 cites·20 claims
- 0386US7451435B2Self-describing artifacts and application abstractionsMICROSOFT CORP·Filed 2004·Granted Nov 11, 2008·46 cites·41 claims
- 0483US8074231B2Configuration of isolated extensions and device driversHUNT GALEN C·Filed 2006·Granted Dec 6, 2011·20 cites·13 claims
- 0581US7421680B2Persisted specifications of method pre-and post-conditions for static checkingMICROSOFT CORP·Filed 2003·Granted Sep 2, 2008·36 cites·16 claims
- 0680US9436502B2Eventually consistent storage and transactions in cloud based environmentBURCKHARDT SEBASTIAN·Filed 2012·Granted Sep 6, 2016·10 cites·20 claims
- 0780US8959496B2Automatic parallelization in a tracing just-in-time compiler systemSCHULTE WOLFRAM·Filed 2010·Granted Feb 17, 2015·10 cites·20 claims
- 0880US8032898B2Kernel interface with categorized kernel objectsMICROSOFT CORP·Filed 2006·Granted Oct 4, 2011·10 cites·14 claims
- 0979US7865934B2Access-control permissions with inter-process message-based communicationsMICROSOFT CORP·Filed 2006·Granted Jan 4, 2011·9 cites·13 claims
- 1077US8250524B2Contract programming for code error reductionBARNETT MICHAEL·Filed 2007·Granted Aug 21, 2012·9 cites·14 claims
- 1177US7526755B2Plug-in pre- and postconditions for static program analysisMICROSOFT CORP·Filed 2003·Granted Apr 28, 2009·27 cites·23 claims
- 1273US10558501B2Resource allocation for computer processingGOOGLE LLC·Filed 2016·Granted Feb 11, 2020·3 cites·28 claims
- 1371US9104528B2Controlling the release of private information using static flow analysisXIAO XUSHENG·Filed 2011·Granted Aug 11, 2015·5 cites·17 claims
- 1470US8782607B2Contract failure behavior with escalation policyANDERSEN MELITTA L G·Filed 2009·Granted Jul 15, 2014·9 cites·18 claims
- 1570US7600232B2Inter-process communications employing bi-directional message conduitsMICROSOFT CORP·Filed 2004·Granted Oct 6, 2009·15 cites·40 claims
- 1669US7584458B2Source code annotation languageMICROSOFT CORP·Filed 2003·Granted Sep 1, 2009·18 cites·24 claims
- 1768US7500232B2Methods for enhancing flow analysisMICROSOFT CORP·Filed 2004·Granted Mar 3, 2009·11 cites·15 claims
- 1844US2007094495A1Statically Verifiable Inter-Process-Communicative Isolated ProcessesMICROSOFT CORP·Filed 2006·Application pending·0 cites
- 1940US2013151519A1Ranking Programs in a Marketplace SystemAKHIN MARAT K·Filed 2011·Application pending·0 cites
- 2039US2006271917A1State-based source code annotationMICROSOFT CORP·Filed 2005·Application pending·0 cites
- 2137US9904541B2Semantic baseliningMICROSOFT CORP·Filed 2013·Granted Feb 27, 2018·0 cites·20 claims
- 2234US2013055138A1Dynamically changing key selection based on contextDE HALLEUX JONATHAN PAUL·Filed 2011·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →