Roy Emek
25Patents
9h-index
33Co-inventors
75Inventor score
Filing activity: Feb 16, 2001 → Oct 30, 2023
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7412649B2 | Viewing and editing markup language files with complex semantics | Physics | 50 | Expired |
| US7627843B2 | Dynamically interleaving randomly generated test-cases for functional verification | Physics | 44 | Active |
| US8161440B2 | Highly specialized scenarios in random test generation | Physics | 22 | Active |
| US7386521B2 | Automatic test program generation using extended conditional constraint satisfaction | Physics | 21 | Active |
| US7370296B2 | Modeling language and method for address translation design mechanisms in test generation | Physics | 16 | Expired |
| US7788610B2 | Random stimuli generation of memory maps and memory allocations | Physics | 15 | Active |
| US6925405B2 | Adaptive test program generation | Physics | 13 | Expired |
| US7266534B2 | System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems | Chemistry; Metallurgy | 10 | Expired |
| US7409377B2 | Accelerated solution of constraint satisfaction problems by partitioning of the variable space | Physics | 9 | Expired |
| US7434101B2 | Highly specialized scenarios in random test generation | Physics | 6 | Active |
| US7085748B2 | Hyper-arc consistency in a contraint satisfaction network | Physics | 5 | Expired |
| US7007207B2 | Scheduling of transactions in system-level test program generation | Physics | 5 | Expired |
| US11074231B1 | Validating modifications to mapping statements for processing hierarchical data structures | Physics | 2 | Active |
| US7415444B2 | Determining compliance rates for probabilistic requests | Physics | 1 | Active |
| US10956301B2 | Production data in continuous integration flows | Physics | 1 | Active |
| US11593792B1 | Distributed database methods and systems | Physics | 1 | Active |
| US11269757B2 | Production data in continuous integration flows | Physics | 1 | Active |
| US7395196B2 | Test-cases for functional verification of system-level interconnect | Physics | 1 | Expired |
| US11841836B2 | Target environment data seeding | Physics | 0 | Active |
| US8140457B2 | Determining compliance rates for probabilistic requests | Physics | 0 | Active |
| US12423288B2 | Target environment data seeding | Physics | 0 | Active |
| US8433668B2 | Context-based failure reporting for a constraint satisfaction problem | Physics | 0 | Active |
| US7562061B2 | Context-based failure reporting for a constraint satisfaction problem | Physics | 0 | Active |
| US12014359B1 | Distributed database methods and systems | Physics | 0 | Active |
| US8458652B2 | Device, system and method of modeling homogeneous information | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.