Jonathan Paul de Halleux
14Patents
6h-index
21Co-inventors
62Inventor score
Filing activity: Jun 6, 2007 → Jun 29, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7681180B2 | Parameterized test driven development | Physics | 18 | Active |
| US9448772B2 | Generating program fragments using keywords and context information | Physics | 11 | Active |
| US8387021B2 | Symbolic runtime checking of quantified contracts | Physics | 8 | Active |
| US8180786B2 | Symbolic query exploration | Physics | 7 | Active |
| US7882495B2 | Bounded program failure analysis and correction | Physics | 6 | Active |
| US9104528B2 | Controlling the release of private information using static flow analysis | Electricity | 6 | Active |
| US9239708B2 | Contextually intelligent code editing | Physics | 5 | Active |
| US8387016B2 | Whitebox trace fuzzing | Physics | 4 | Active |
| US8726239B2 | Generating type-safe wrappers for dynamic detouring | Physics | 1 | Active |
| US8515891B2 | Symbolic finite automata | Physics | 0 | Active |
| US12376228B2 | Electronic prototyping | Electricity | 0 | Active |
| US12177969B2 | Modular electronic prototyping platforms | Electricity | 0 | Active |
| US9286038B2 | Interface development and operation | Physics | 0 | Active |
| US12308586B2 | Electronic prototyping interoperability | Electricity | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.