Inventor · disambiguated record
Sharon Keidar-Barner
Also filed as: KEIDAR-BARNER SHARON
15 granted patents·3 pending applications·75 citations·filing 2004–2018
91Inventor score
Top patents by PatentIndex Score
18 records- 0188US9274918B2Prediction of impact of workload migrationIBM·Filed 2013·Granted Mar 1, 2016·14 cites·16 claims
- 0285US10387655B2Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a programIBM·Filed 2017·Granted Aug 20, 2019·8 cites·17 claims
- 0383US7725851B2Device, system and method for formal verificationIBM·Filed 2007·Granted May 25, 2010·15 cites·15 claims
- 0476US8209667B2Software verification using hybrid explicit and symbolic model checkingEISNER CYNTHIA RAE·Filed 2006·Granted Jun 26, 2012·10 cites·21 claims
- 0575US9626272B2Prediction of impact of workload migrationIBM·Filed 2015·Granted Apr 18, 2017·2 cites·18 claims
- 0673US8683441B2Software equivalence checkingKEIDAR-BARNER SHARON·Filed 2011·Granted Mar 25, 2014·5 cites·20 claims
- 0773US7921411B2Model checking of non-terminating software programsIBM·Filed 2006·Granted Apr 5, 2011·7 cites·15 claims
- 0872US8453082B2Soft error verification in hardware designsKEIDAR-BARNER SHARON·Filed 2010·Granted May 28, 2013·4 cites·23 claims
- 0963US8639490B2Concretization of abstracted tracesCHOCKLER HANA·Filed 2010·Granted Jan 28, 2014·2 cites·14 claims
- 1062US8914757B1Explaining illegal combinations in combinatorial modelsIBM·Filed 2013·Granted Dec 16, 2014·1 cites·19 claims
- 1161US10380590B2Transaction authentication based on metadataIBM·Filed 2016·Granted Aug 13, 2019·1 cites·16 claims
- 1258US8903700B2Concretization of abstracted tracesCHOCKLER HANA·Filed 2010·Granted Dec 2, 2014·1 cites·14 claims
- 1356US7519957B2Symbolic model checking of softwareIBM·Filed 2004·Granted Apr 14, 2009·5 cites·18 claims
- 1444US2014236564A1Coverage model and measurements for partial instrumentationIBM·Filed 2013·Application pending·0 cites
- 1544US2014372083A1Derived restrictions in a combinatorial modelIBM·Filed 2013·Application pending·0 cites
- 1644US2006058989A1Symbolic model checking of generally asynchronous hardwareIBM·Filed 2004·Application pending·0 cites
- 1739US10742642B2User authentication based on predictive applicationsIBM·Filed 2018·Granted Aug 11, 2020·0 cites·5 claims
- 1834US8996435B2Determining invariants in a modelIVRII ALEXANDER·Filed 2011·Granted Mar 31, 2015·0 cites·21 claims
Join the waitlist — get patent alerts
Get an alert when Sharon Keidar-Barner files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →