Sharon Keidar

Follow

Person

Yokneam, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Simulation monitors based on temporal formulas
- Patent number 7,188,061
- Issue date Mar 6, 2007
- International Business Machines Corporation
- Ilan Beer
- 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

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
Simulation monitors based on temporal formulas
- Publication number 20030018461
- Publication date Jan 23, 2003
- International Business Machines Corporation
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING