Inventor · disambiguated record
Hana Chockler
Also filed as: CHOCKLER HANA
10 granted patents·5 pending applications·52 citations·filing 2006–2023
87Inventor score
Top patents by PatentIndex Score
15 records- 0179US9389984B2Directing verification towards bug-prone portionsIBM·Filed 2013·Granted Jul 12, 2016·6 cites·13 claims
- 0276US8056059B2Using cross-entropy to test executable logic codeIBM·Filed 2007·Granted Nov 8, 2011·9 cites·20 claims
- 0375US8448147B2Heterogenic Coverage AnalysisRAZ ORNA·Filed 2010·Granted May 21, 2013·8 cites·21 claims
- 0475US8327334B2Replay of program executions using cross-entropyCHOCKLER HANA·Filed 2008·Granted Dec 4, 2012·9 cites·17 claims
- 0573US7921411B2Model checking of non-terminating software programsIBM·Filed 2006·Granted Apr 5, 2011·7 cites·15 claims
- 0672US8996339B2Incremental formal verificationCHOCKLER HANA·Filed 2011·Granted Mar 31, 2015·4 cites·17 claims
- 0770US7853932B2System, method and computer program product for checking a software entityIBM·Filed 2006·Granted Dec 14, 2010·6 cites·20 claims
- 0863US8639490B2Concretization of abstracted tracesCHOCKLER HANA·Filed 2010·Granted Jan 28, 2014·2 cites·14 claims
- 0958US8903700B2Concretization of abstracted tracesCHOCKLER HANA·Filed 2010·Granted Dec 2, 2014·1 cites·14 claims
- 1047US8856755B2Dominant-state-based coverage metricIBM·Filed 2013·Granted Oct 7, 2014·0 cites·21 claims
- 1146US2023281460A1Apparatus and method of data processingIMPULSE INNOVATIONS LTD·Filed 2023·Application pending·0 cites
- 1245US2010131930A1Selective Code Coverage InstrumentationIBM·Filed 2008·Application pending·0 cites
- 1343US2015074652A1Avoiding similar counter-examples in model checkingIBM·Filed 2013·Application pending·0 cites
- 1441US2014208297A1Validation of revised computer programsIBM·Filed 2013·Application pending·0 cites
- 1538US2009276379A1Using automatically generated decision trees to assist in the process of design and review documentationTZOREF RACHEL·Filed 2008·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →