This inventor holds 2 USPTO granted patents. Top assignee: International Business Machines Corporation. Active years: 2001-2003.
Company Filing History:
Years Active: 2001-2003
Title: Yoav Rodeh: Innovator in State Space Reduction and Counterexample Search
Introduction
Yoav Rodeh is a notable inventor based in Moshav Ben-Ami, Israel. He has made significant contributions to the field of computer science, particularly in methods for state space reduction and counterexample searching. With a total of 2 patents, Rodeh's work has implications for improving the efficiency of model checking in systems.
Latest Patents
Rodeh's latest patents include a method for searching for counter-examples intelligently. This method involves finding a counterexample on a system of states, which includes one or more initial states and one or more bad states, along with a transition relation among the states. The process entails assembling a first set of states known to be reachable from the initial states and defining a second set of states from which it is estimated that one of the bad states is reachable. The sets are modified until a definition of the second set is found, allowing for the search of counterexamples over the states in the intersection.
Another significant patent is a method and system for reducing state space variables prior to symbolic model checking. This computer-implemented method systematically eliminates redundant circuit elements in a state machine of a model with sequential circuit elements. The method sorts the elements into groups based on their state, stores their states in memory, and calculates their next states. Circuit elements with differing successive states are moved to a group of indeterminate elements, and the process continues until no further elements can be moved. The remaining determinate elements are then replaced by constants, leading to the elimination of unnecessary circuit elements from the model.
Career Highlights
Yoav Rodeh is currently employed at International Business Machines Corporation (IBM), where he continues to innovate and contribute to advancements in technology. His work focuses on enhancing the efficiency of systems through intelligent methods and algorithms.
Collaborations
Rodeh has collaborated with notable coworkers such as Ilan Beer and Cindy Eisner, contributing to a dynamic work environment that fosters innovation and creativity.
Conclusion
Yoav Rodeh's contributions to the fields of state space reduction and counterexample searching highlight his role as a significant inventor in the technology sector. His patents reflect a commitment to improving system efficiency and advancing computer science methodologies.