Membership
Tour
Register
Log in
Rachel Tzoref
Follow
Person
Haifa, IL
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Verifying synchronization coverage in logic code
Patent number
9,600,347
Issue date
Mar 21, 2017
International Business Machines Corporation
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Performance optimization based on data accesses during critical sec...
Patent number
8,612,952
Issue date
Dec 17, 2013
International Business Machines Corporation
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Congestion control using application slowdown
Patent number
8,593,946
Issue date
Nov 26, 2013
International Business Machines Corporation
Maayan Goldstein
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Synchronization coverage in logic code
Patent number
8,561,031
Issue date
Oct 15, 2013
International Business Machines Corporation
Ehud Trainin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Synchronization coverage in logic code
Patent number
8,561,030
Issue date
Oct 15, 2013
International Business Machines Corporation
Ehud Trainin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Satisfiability (SAT) based bounded model checkers
Patent number
8,489,380
Issue date
Jul 16, 2013
International Business Machines Corporation
Daniel Geist
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Detecting locking discipline violations on shared resources
Patent number
8,479,166
Issue date
Jul 2, 2013
International Business Machines Corporation
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Device, system and method of debugging computer programs
Patent number
8,356,287
Issue date
Jan 15, 2013
International Business Machines Corporation
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Satisfiability (SAT) based bounded model checkers
Patent number
8,108,195
Issue date
Jan 31, 2012
International Business Machines Corporation
Daniel Geist
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Satisfiability (SAT) based bounded model checkers
Patent number
7,835,898
Issue date
Nov 16, 2010
International Business Machines Corporation
Daniel Geist
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Deadlock prevention in a computing environment
Patent number
7,783,806
Issue date
Aug 24, 2010
International Business Machines Corporation
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE
Publication number
20130247062
Publication date
Sep 19, 2013
International Business Machines
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYNCHRONIZATION COVERAGE IN LOGIC CODE
Publication number
20130014087
Publication date
Jan 10, 2013
International Business Machines
Ehud Trainin
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PERFORMANCE OPTIMIZATION BASED ON DATA ACCESSES DURING CRITICAL SEC...
Publication number
20110252408
Publication date
Oct 13, 2011
International Business Machines Corporation
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Satisfiability (SAT) Based Bounded Model Checkers
Publication number
20110213605
Publication date
Sep 1, 2011
International Business Machines Corporation
Daniel Geist
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE
Publication number
20110126173
Publication date
May 26, 2011
International Business Machines Corporation
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS
Publication number
20100324881
Publication date
Dec 23, 2010
Daniel Geist
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Extension of Lock Discipline Violation Detection for Lock Wait Patt...
Publication number
20100057965
Publication date
Mar 4, 2010
International Business Machines Corporation
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Congestion Control Using Application Slowdown
Publication number
20100046375
Publication date
Feb 25, 2010
Maayan Goldstein
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
Detecting Locking Discipline Violations on Shared Resources
Publication number
20100050161
Publication date
Feb 25, 2010
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Using automatically generated decision trees to assist in the proce...
Publication number
20090276379
Publication date
Nov 5, 2009
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Deadlock Prevention in a Computing Environment
Publication number
20090235002
Publication date
Sep 17, 2009
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Device, System and Method of Debugging Computer Programs
Publication number
20090113399
Publication date
Apr 30, 2009
Rachel Tzoref
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Satisfiability (SAT) based bounded model checkers
Publication number
20070118340
Publication date
May 24, 2007
International Business Machines Corporation
Daniel Geist
G06 - COMPUTING CALCULATING COUNTING