Sitvanit Ruah
6Patents
3h-index
13Co-inventors
46Inventor score
Filing activity: Aug 27, 2007 → Sep 10, 2013
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7725851B2 | Device, system and method for formal verification | Physics | 12 | Active |
| US9389984B2 | Directing verification towards bug-prone portions | Physics | 6 | Active |
| US8219376B2 | Verification using directives having local variables | Physics | 3 | Active |
| US9043746B2 | Conducting verification in event processing applications using formal methods | Physics | 2 | Active |
| US8352234B2 | Model generation based on a constraint and an initial model | Physics | 0 | 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.