Inventor
DE HALLEUX JONATHAN PAUL
US13 patents
⚠️ This page may combine multiple inventors who share the name “DE HALLEUX JONATHAN PAUL”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
6 patentsUS7681180B2Mar 16, 2010
Parameterized test driven development
MICROSOFT CORP25 citations92
US7882495B2Feb 1, 2011
Bounded program failure analysis and correction
MICROSOFT CORP8 citations84
US8387016B2Feb 26, 2013
Whitebox trace fuzzing
MICROSOFT CORP8 citations83
US9448772B2Sep 20, 2016
Generating program fragments using keywords and context information
MICROSOFT CORP15 citations81
US8387021B2Feb 26, 2013
Symbolic runtime checking of quantified contracts
MICROSOFT CORP11 citations81
US9286038B2Mar 15, 2016
Interface development and operation
MICROSOFT CORP3 citations68
MICROSOFT TECHNOLOGY LICENSING LLC
3 patentsUS12177969B2Dec 24, 2024
Modular electronic prototyping platforms
MICROSOFT TECHNOLOGY LICENSING LLC2 citations69
US12376228B2Jul 29, 2025
Electronic prototyping
MICROSOFT TECHNOLOGY LICENSING LLC1 citations60
US12308586B2May 20, 2025
Electronic prototyping interoperability
MICROSOFT TECHNOLOGY LICENSING LLC0 citations58