Hana Chockler
10Patents
4h-index
17Co-inventors
49Inventor score
Filing activity: Jul 10, 2006 → Sep 10, 2013
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US8327334B2 | Replay of program executions using cross-entropy | Physics | 9 | Active |
| US8056059B2 | Using cross-entropy to test executable logic code | Physics | 7 | Active |
| US9389984B2 | Directing verification towards bug-prone portions | Physics | 6 | Active |
| US7921411B2 | Model checking of non-terminating software programs | Physics | 6 | Active |
| US8996339B2 | Incremental formal verification | Physics | 4 | Active |
| US8448147B2 | Heterogenic Coverage Analysis | Physics | 4 | Active |
| US7853932B2 | System, method and computer program product for checking a software entity | Physics | 3 | Active |
| US8639490B2 | Concretization of abstracted traces | Physics | 2 | Active |
| US8903700B2 | Concretization of abstracted traces | Physics | 1 | Active |
| US8856755B2 | Dominant-state-based coverage metric | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.