This inventor holds 3 USPTO granted patents. Top assignee: International Business Machines Corporation. Active years: 2004-2006.
Company Filing History:
Years Active: 2004-2006
Title: The Innovative Contributions of Anna Gringauze
Introduction
Anna Gringauze is a prominent inventor based in Haifa, Israel. She has made significant contributions to the field of model checking and system verification. With a total of 3 patents to her name, her work has had a substantial impact on the way systems are analyzed and verified.
Latest Patents
One of her latest patents is titled "Efficient production of disjoint multiple traces." This method involves checking a model that defines the states of a system under study and the transition relations among those states. The process includes specifying a property that applies to a target set, which comprises at least one target state among the states of the system. Starting from an initial set of at least one initial state, successive reachable sets are computed until an intersection is found between one of the reachable sets and the target set. This leads to the computation of a plurality of mutually-disjoint traces from the target state in the intersection through the reachable states to the initial state.
Another notable patent is "Model checking with layered localization reduction." This method verifies a property of a complete model of a system by abstracting some variables to produce an abstract model. An initial state in the state space of the abstract model is used to find an abstract path to a target state defined by the property. A subset of the abstracted variables is then restored to create an intermediate model, allowing for the verification of the property on the complete model.
Career Highlights
Anna Gringauze is currently employed at International Business Machines Corporation (IBM), where she continues to innovate and contribute to advancements in technology. Her work is recognized for its complexity and relevance in the field of system verification.
Collaborations
Throughout her career, Anna has collaborated with notable colleagues, including Shoham Ben-David and Eli Dichterman. These collaborations have further enriched her work and expanded the impact of her inventions.
Conclusion
Anna Gringauze's contributions to the field of model checking and system verification are invaluable. Her innovative patents and collaborations highlight her role as a leading inventor in her field.