Aharon Abadi  Aharon Abadi photo       

contact information

Research Staff Member
Haifa Research Lab, Haifa, Israel
  +972dash3dash7689dash473

links



2013

Determining suitable insertion points for string sanitizers in a computer code
Aharon Abadi, Jonathan Bnayahu, Ran Ettinger, Yishai Abraham Feldman, Yinnon Avraham Haviv, Adi Sharabani
US Patent 8,539,466


2012

Method, apparatus and product for porting applications to embedded platforms
Aharon Abadi, Moria Abadi, Yishai Feldman, Maayan Goldstein
US Patent App. 13/449,316

Generating Policy Summaries From Logic Code
Aharon Abadi, Bnayahu Jonathan, Feldman Yishai, Moti Nisenson, Yahalomit Simionovici
US Patent App. 13/423,289


2011

Software architecture by untangling undesired code level dependencies using code refactoring
Aharon Abadi, Ran Ettinger, Yishai Feldman, Maayan Goldslein
US Patent App. 13/295,073

Method for code transformation supporting temporal abstraction of parameters
Aharon Abadi, Jonathan Bnayahu, Ran Ettinger, Yishai Abraham Feldman
US Patent App. 13/039,342


2010

Fixing security vulnerability in a source code
Aharon Abadi, Yishai A Feldman, Ran Ettinger, Jonathan Bnayahu, Omer Tripp, Yinnon Haviv, Adi Sharabani, Omri Weisman
US Patent App. 12/792,747


2009

FINE SLICING: GENERATING AN EXECUTABLE BOUNDED SLICE FOR PROGRAM
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent App. 12/541,983

PLAN-BASED PROGRAM SLICING
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent App. 12/550,406


2008

Automated Many-Sorted Theorem prover
A Abadi
US Patent App. 20,090/248,391