IDiyas

For the Inventor, By the Inventor

Yokneam Ilit, Israel

Ziv Nevo

USPTO Granted Patents = 14 

Average Co-Inventor Count = 3.7

ph-index = 4

Forward Citations = 36(Granted Patents)


Location History:

  • Haifa, IL (2006 - 2014)
  • Yokneam, IL (2013 - 2015)
  • Yokneam Elit, IL (2021)
  • Yokneam Ilit, IL (2012 - 2022)

Company Filing History:

goldMedal14 out of 164,108 
 
International Business Machines Corporation
 patents

Years Active: 2006-2025

where 'Filed Patents' based on already Granted Patents

14 patents (USPTO):
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. 10984159 - Hardware verification based on relations between coverage events (2021-04-20),
4. 10572624 - Modified design debugging using differential trace back (2020-02-25),
5. 10540469 - Verifying sequential equivalence for randomly initialized designs (2020-01-21),
6. 9286426 - Method and apparatus for testing (2016-03-15),
7. 8996339 - Incremental formal verification (2015-03-31),
8. 8627273 - Model checking of liveness property in a phase abstracted model (2014-01-07),
9. 8554522 - Detection of design redundancy (2013-10-08),
10. 8417507 - Formal verification of models using concurrent model-reduction and model-checking (2013-04-09),
11. 8352234 - Model generation based on a constraint and an initial model (2013-01-08),
12. 8244516 - Formal verification of models using concurrent model-reduction and model-checking (2012-08-14),
13. 8127261 - System for quickly specifying formal verification environments (2012-02-28),
14. 7131085 - Distributed BDD reordering (2006-10-31),

Title: Ziv Nevo: Innovator in Cloud Connectivity and Contract Generation

Introduction

Ziv Nevo is a prominent inventor based in Yokneam Ilit, Israel. He has made significant contributions to the fields of cloud network connectivity and contract generation, holding a total of 14 patents. His innovative work has garnered attention in the tech industry, particularly through his association with International Business Machines Corporation (IBM).

Latest Patents

Ziv Nevo's latest patents include groundbreaking technologies that enhance cloud network functionality. One of his notable inventions is a method for inferring cloud network connectivity as a minimal list of firewall rules. This invention involves receiving a connectivity graph and generating a minimal list of firewall rules by merging rules with common connectivity attributes. Another significant patent focuses on enforceable contract generation. This method includes obtaining metadata from plugins in a runtime environment, gathering user selections regarding service metrics, and automatically generating contracts that enforce these metrics.

Career Highlights

Throughout his career, Ziv Nevo has demonstrated a strong commitment to innovation. His work at IBM has positioned him as a key player in developing advanced technologies that address complex challenges in cloud computing and service management. His patents reflect a deep understanding of both technical and practical aspects of these fields.

Collaborations

Ziv Nevo has collaborated with talented individuals such as Shaked Flur and Alexander Ivrii. These partnerships have contributed to the successful development of his innovative projects and patents.

Conclusion

Ziv Nevo's contributions to cloud connectivity and contract generation exemplify the impact of innovation in technology. His work continues to influence the industry and pave the way for future advancements.

This text is generated by artificial intelligence and may not be accurate.
Please report any incorrect information to support@idiyas.com
Loading…