Hana Chockler

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Directing verification towards bug-prone portions
- Patent number 9,389,984
- Issue date Jul 12, 2016
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental formal verification
- Patent number 8,996,339
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concretization of abstracted traces
- Patent number 8,903,700
- Issue date Dec 2, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dominant-state-based coverage metric
- Patent number 8,856,755
- Issue date Oct 7, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concretization of abstracted traces
- Patent number 8,639,490
- Issue date Jan 28, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Heterogenic Coverage Analysis
- Patent number 8,448,147
- Issue date May 21, 2013
- International Business Machines Corporation
- Orna Raz
- G06 - COMPUTING CALCULATING COUNTING
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 Applicationslast 30 patents

Information Patent Application
DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS
- Publication number 20150074651
- Publication date Mar 12, 2015
- International Business Machines Corporation
- HANA CHOCKLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING
- Publication number 20150074652
- Publication date Mar 12, 2015
- International Business Machines Corporation
- HANA CHOCKLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DOMINANT-STATE-BASED COVERAGE METRIC
- Publication number 20140215445
- Publication date Jul 31, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Validation of revised computer programs
- Publication number 20140208297
- Publication date Jul 24, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL FORMAL VERIFICATION
- Publication number 20130060545
- Publication date Mar 7, 2013
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCRETIZATION OF ABSTRACTED TRACES
- Publication number 20110218794
- Publication date Sep 8, 2011
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCRETIZATION OF ABSTRACTED TRACES
- Publication number 20110218793
- Publication date Sep 8, 2011
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hierarchical aggregation system for advanced metering infrastructures
- Publication number 20110202904
- Publication date Aug 18, 2011
- International Business Machiness Corporation
- Orna Raz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Selective Code Coverage Instrumentation
- Publication number 20100131930
- Publication date May 27, 2010
- International Business Machines Corporation
- Yochai Ben-Chaim
- 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
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

Hana Chockler

Person

Patents Grantslast 30 patents

Directing verification towards bug-prone portions

Incremental formal verification

Concretization of abstracted traces

Dominant-state-based coverage metric

Concretization of abstracted traces

Heterogenic Coverage Analysis

Replay of program executions using cross-entropy

Using cross-entropy to test executable logic code

Model checking of non-terminating software programs

System, method and computer program product for checking a software...

Patents Applicationslast 30 patents

DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS

AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING

DOMINANT-STATE-BASED COVERAGE METRIC

Validation of revised computer programs

INCREMENTAL FORMAL VERIFICATION

CONCRETIZATION OF ABSTRACTED TRACES

CONCRETIZATION OF ABSTRACTED TRACES

Hierarchical aggregation system for advanced metering infrastructures

Selective Code Coverage Instrumentation

Using automatically generated decision trees to assist in the proce...

Replay of program executions using cross-entropy

Using Cross-entropy to Test Executable Logic Code

Model Checking of Non-Terminating Software Programs

System, Method and Computer Program Product for Checking a Software...