Assignee
ABADI AHARON
IL·8 granted patents·1 pending application·30 citations·filing 2008–2012
Top patents by PatentIndex Score
9 records- 0186US8819637B2Fixing security vulnerability in a source codeABADI AHARON·Filed 2010·Granted Aug 26, 2014·10 cites·29 claims
- 0277US8539466B2Determining suitable insertion points for string sanitizers in a computer codeABADI AHARON·Filed 2011·Granted Sep 17, 2013·5 cites·20 claims
- 0372US8612954B2Fine slicing: generating an executable bounded slice for programABADI AHARON·Filed 2009·Granted Dec 17, 2013·8 cites·19 claims
- 0469US8543974B2Plan-based program slicingABADI AHARON·Filed 2009·Granted Sep 24, 2013·4 cites·20 claims
- 0560US8621430B2Method for code transformation supporting temporal abstraction of parametersABADI AHARON·Filed 2011·Granted Dec 31, 2013·1 cites·21 claims
- 0659US9720690B2Software architecture by untangling undesired code level dependencies using code refactoringABADI AHARON·Filed 2011·Granted Aug 1, 2017·1 cites·22 claims
- 0757US8135663B2Automated many-sorted theorem proverABADI AHARON·Filed 2008·Granted Mar 13, 2012·1 cites·1 claims
- 0849US2013246080A1Generating Policy Summaries From Logic CodeABADI AHARON·Filed 2012·Application pending·0 cites
- 0942US9009684B2Method, apparatus and product for porting applications to embedded platformsABADI AHARON·Filed 2012·Granted Apr 14, 2015·0 cites·18 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →