Inventor
KEIDAR-BARNER SHARON
IL22 patents
⚠️ This page may combine multiple inventors who share the name “KEIDAR-BARNER SHARON”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
16 patentsUS10387655B2Aug 20, 2019
Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a program
IBM8 citations83
US9274918B2Mar 1, 2016
Prediction of impact of workload migration
IBM14 citations83
US7921411B2Apr 5, 2011
Model checking of non-terminating software programs
IBM7 citations82
US7725851B2May 25, 2010
Device, system and method for formal verification
IBM15 citations82
US9626272B2Apr 18, 2017
Prediction of impact of workload migration
IBM2 citations72
US10649887B2May 12, 2020
Co-verification of hardware and software
IBM2 citations71
US7519957B2Apr 14, 2009
Symbolic model checking of software
IBM5 citations62
US11023362B2Jun 1, 2021
Co-verification of hardware and software
IBM0 citations61
US11003573B2May 11, 2021
Co-verification of hardware and software
IBM0 citations61
US10380590B2Aug 13, 2019
Transaction authentication based on metadata
IBM1 citations61
US11144665B2Oct 12, 2021
Purpose-based data access control
IBM0 citations50
US8352234B2Jan 8, 2013
Model generation based on a constraint and an initial model
IBM0 citations49
US8914757B1Dec 16, 2014
Explaining illegal combinations in combinatorial models
IBM1 citations45
US10798075B2Oct 6, 2020
Interface layer obfuscation and usage thereof
IBM0 citations40
US10606732B2Mar 31, 2020
Hybrid genetic concolic co-verification of hardware and software
IBM0 citations40
US10742642B2Aug 11, 2020
User authentication based on predictive applications
IBM0 citations36