Karen Frida Yorav

This inventor holds 14 USPTO granted patents and 2 published patent applications. Top assignees: International Business Machines Corporation, Carnegie Mellon University. Active years: 2007-2025.

IDiyas Innovation Intelligence. (2026). Inventor Profile: Karen Frida Yorav. Retrieved from https://idiyas.com/inventor/karen-frida-yorav

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

USPTO Granted Patents = 14 (Patent Applications = 2)

% Patents Active = 21.4

Average Co-Inventor Count = 3.0

ph-index = 4

Forward Citations = 28(Granted Patents)

Company Filing History:

13 out of 166,409

International Business Machines Corporation

patents

1 out of 1,189

Carnegie Mellon University

patents

Years Active: 2007-2025

Loading Chart...

14 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 12418508 - Inferring cloud network connectivity as a minimal list of firewall rules (2025-09-16),

2. 11321792 - Enforceable contract generation (2022-05-03),

3. 11195137 - Model-driven and automated system for shared resource solution design (2021-12-07),

4. 10915436 - System level test generation using DNN translation from unit level test (2021-02-09),

5. 9454382 - Verification of UML state machines (2016-09-27),

6. 8856755 - Dominant-state-based coverage metric (2014-10-07),

7. 8683441 - Software equivalence checking (2014-03-25),

8. 8589841 - Automatic parity checking identification (2013-11-19),

9. 8539403 - Reducing observability of memory elements in circuits (2013-09-17),

10. 8453082 - Soft error verification in hardware designs (2013-05-28),

11. 8296256 - SAT-based synthesis of a clock gating function (2012-10-23),

12. 8086972 - Functional verification of power gated designs by compositional reasoning (2011-12-27),

13. 7401305 - Adaptive application of SAT solving techniques (2008-07-15),

14. 7225417 - Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design (2007-05-29),

Title: Innovations and Contributions of Karen Frida Yorav

Introduction

Karen Frida Yorav, based in Haifa, Israel, is a prolific inventor with a remarkable portfolio of 13 patents. His work primarily revolves around cutting-edge technologies aimed at enhancing efficiency and compliance in various systems.

Latest Patents

Among his notable patents are two groundbreaking inventions. The first, titled "Enforceable Contract Generation," details a method and system that automates the generation of contracts. This invention focuses on obtaining metadata associated with plugins in a runtime environment, allowing for user-selected constraints and the automatic enforcement of contractual obligations, ensuring reliability and compliance.

The second patent, "Model-Driven and Automated System for Shared Resource Solution Design," introduces a sophisticated approach for generating IT solutions. This model-driven process utilizes a set of business and technical requirements to create draft IT solutions for shared resources while addressing potential conflicts and verifying attributes.

Career Highlights

Karen has made significant contributions while working at renowned organizations such as IBM (International Business Machines Corporation) and Carnegie Mellon University. His experiences at these institutions have solidified his expertise in technology and innovation.

Collaborations

Throughout his career, Karen has collaborated with esteemed colleagues, including Eli Arbel and Sharon Keidar-Barner. Their combined efforts have advanced multiple projects, resulting in meaningful developments in technology and research.

Conclusion

Karen Frida Yorav exemplifies the spirit of innovation through his extensive patent portfolio and impactful career. His work continues to shape the future of technology, providing efficient and automated solutions in complex environments.

Profile summary based on public USPTO records.

Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]

2 patents pending: