Inventor · disambiguated record
Sitvanit Ruah
Also filed as: RUAH SITVANIT
6 granted patents·2 pending applications·27 citations·filing 2007–2013
77Inventor score
Technology areasG06F
Top patents by PatentIndex Score
8 records- 0183US7725851B2Device, system and method for formal verificationIBM·Filed 2007·Granted May 25, 2010·15 cites·15 claims
- 0279US9389984B2Directing verification towards bug-prone portionsIBM·Filed 2013·Granted Jul 12, 2016·6 cites·13 claims
- 0359US8219376B2Verification using directives having local variablesPIDAN DMITRY·Filed 2008·Granted Jul 10, 2012·4 cites·18 claims
- 0454US9043746B2Conducting verification in event processing applications using formal methodsRABINOVICH ELLA·Filed 2011·Granted May 26, 2015·2 cites·22 claims
- 0550US8352234B2Model generation based on a constraint and an initial modelIBM·Filed 2009·Granted Jan 8, 2013·0 cites·24 claims
- 0647US8856755B2Dominant-state-based coverage metricIBM·Filed 2013·Granted Oct 7, 2014·0 cites·21 claims
- 0743US2015074652A1Avoiding similar counter-examples in model checkingIBM·Filed 2013·Application pending·0 cites
- 0841US2014208297A1Validation of revised computer programsIBM·Filed 2013·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →