Membership
Tour
Register
Log in
Yarden Nir-Buchbinder
Follow
Person
Haifa, IL
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Verification of a computer program in respect to an unexpected resp...
Patent number
9,612,942
Issue date
Apr 4, 2017
International Business Machines Corporation
Daniel Citron
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Cross-concern code coverage assessment
Patent number
8,607,198
Issue date
Dec 10, 2013
International Business Machines Corporation
Yarden Nir-Buchbinder
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
Deadlock detection by lock classification
Patent number
8,141,050
Issue date
Mar 20, 2012
International Business Machines Corporation
Eitan Farchi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Software quality assessment based on semantic similarities
Patent number
8,006,138
Issue date
Aug 23, 2011
International Business Machines Corporation
Yarden Nir-Buchbinder
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
Information
Patent Grant
Method and system for forcing context-switch during mid-access to n...
Patent number
7,539,979
Issue date
May 26, 2009
International Business Machines Corporation
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
DETECTING LOCKING DISCIPLINE VIOLATIONS ON SHARED RESOURCES
Publication number
20130239094
Publication date
Sep 12, 2013
International Business Machines Corporation
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESP...
Publication number
20120130702
Publication date
May 24, 2012
International Business Machines Corporation
Daniel Citron
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS...
Publication number
20110093745
Publication date
Apr 21, 2011
Aviad Zlotnick
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CROSS-CONCERN CODE COVERAGE ASSESSMENT
Publication number
20100262866
Publication date
Oct 14, 2010
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS...
Publication number
20100064280
Publication date
Mar 11, 2010
International Business Machines Corporation
Aviad Zlotnick
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
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
Software Quality Assessment based on Semantic Similarities
Publication number
20090319833
Publication date
Dec 24, 2009
Yarden Nir-Buchbinder
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD, SYSTEM, AND COMPUTER PROGRAM PRODUCT FOR GENERATING UNIT TE...
Publication number
20090271770
Publication date
Oct 29, 2009
International Business Machines Corporation
Yarden Nir-Buchbinder
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
Deadlock detection by lock classification
Publication number
20070156939
Publication date
Jul 5, 2007
International Business Machines Corporation
Eitan Farchi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Deadlock detection in a computing environment
Publication number
20070143766
Publication date
Jun 21, 2007
International Business Machines Corporation
Eitan Farchi
G06 - COMPUTING CALCULATING COUNTING