Anna Gringauze

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Efficient production of disjoint multiple traces
- Patent number 7,146,301
- Issue date Dec 5, 2006
- International Business Machines Corporation
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking with layered localization reduction
- Patent number 6,957,404
- Issue date Oct 18, 2005
- International Business Machines Corporation
- Danny Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Target design model behavior explorer
- Patent number 6,691,078
- Issue date Feb 10, 2004
- International Business Machines Corporation
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Model checking with layered localization reduction
- Publication number 20040123254
- Publication date Jun 24, 2004
- International Business Machines Corporation
- Danny Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient production of disjoint multiple traces
- Publication number 20020193974
- Publication date Dec 19, 2002
- International Business Machines
- Shoham Ben-David
- G06 - COMPUTING CALCULATING COUNTING