Membership
Tour
Register
Log in
Benyamin Godlin
Follow
Person
Jerusalem, IL
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Replay of program executions using cross-entropy
Patent number
8,327,334
Issue date
Dec 4, 2012
International Business Machines Corporation
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Using cross-entropy to test executable logic code
Patent number
8,056,059
Issue date
Nov 8, 2011
International Business Machines Corporation
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Model checking of non-terminating software programs
Patent number
7,921,411
Issue date
Apr 5, 2011
International Business Machines Corporation
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method and computer program product for checking a software...
Patent number
7,853,932
Issue date
Dec 14, 2010
International Business Machines Corporation
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Replay of program executions using cross-entropy
Publication number
20090106740
Publication date
Apr 23, 2009
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Using Cross-entropy to Test Executable Logic Code
Publication number
20090106737
Publication date
Apr 23, 2009
Hana CHOCKLER
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Model Checking of Non-Terminating Software Programs
Publication number
20080098347
Publication date
Apr 24, 2008
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System, Method and Computer Program Product for Checking a Software...
Publication number
20080052692
Publication date
Feb 28, 2008
Hana Chockler
G06 - COMPUTING CALCULATING COUNTING