Inventor · disambiguated record
Jonathan Paul De Halleux
Also filed as: DE HALLEUX JONATHAN P · DE HALLEUX JONATHAN PAUL
14 granted patents·2 pending applications·98 citations·filing 2007–2022
91Inventor score
Files withMICROSOFT CORP6MICROSOFT TECHNOLOGY LICENSING LLC3DE HALLEUX JONATHAN PAUL2VEANES MARGUS2AKHIN MARAT K1
Top patents by PatentIndex Score
16 records- 0190US7681180B2Parameterized test driven developmentMICROSOFT CORP·Filed 2007·Granted Mar 16, 2010·25 cites·20 claims
- 0289US12177969B2Modular electronic prototyping platformsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted Dec 24, 2024·2 cites·20 claims
- 0387US9448772B2Generating program fragments using keywords and context informationMICROSOFT CORP·Filed 2013·Granted Sep 20, 2016·15 cites·20 claims
- 0485US12376228B2Electronic prototypingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted Jul 29, 2025·1 cites·20 claims
- 0579US9239708B2Contextually intelligent code editingTILLMANN NIKOLAI·Filed 2010·Granted Jan 19, 2016·8 cites·20 claims
- 0678US8387021B2Symbolic runtime checking of quantified contractsMICROSOFT CORP·Filed 2008·Granted Feb 26, 2013·11 cites·16 claims
- 0777US8387016B2Whitebox trace fuzzingMICROSOFT CORP·Filed 2009·Granted Feb 26, 2013·8 cites·20 claims
- 0876US7882495B2Bounded program failure analysis and correctionMICROSOFT CORP·Filed 2007·Granted Feb 1, 2011·8 cites·20 claims
- 0973US8180786B2Symbolic query explorationVEANES MARGUS·Filed 2009·Granted May 15, 2012·9 cites·20 claims
- 1071US9104528B2Controlling the release of private information using static flow analysisXIAO XUSHENG·Filed 2011·Granted Aug 11, 2015·5 cites·17 claims
- 1169US9286038B2Interface development and operationMICROSOFT CORP·Filed 2013·Granted Mar 15, 2016·3 cites·20 claims
- 1265US12308586B2Electronic prototyping interoperabilityMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted May 20, 2025·0 cites·20 claims
- 1361US8515891B2Symbolic finite automataVEANES MARGUS·Filed 2010·Granted Aug 20, 2013·1 cites·20 claims
- 1460US8726239B2Generating type-safe wrappers for dynamic detouringDE HALLEUX JONATHAN PAUL·Filed 2010·Granted May 13, 2014·2 cites·20 claims
- 1540US2013151519A1Ranking Programs in a Marketplace SystemAKHIN MARAT K·Filed 2011·Application pending·0 cites
- 1634US2013055138A1Dynamically 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 →