Aharon Abadi
Aharon Abadi
IBM Research Haifa
Verified email at il.ibm.com
Title
Cited by
Cited by
Year
A traceability technique for specifications
A Abadi, M Nisenson, Y Simionovici
2008 16th IEEE International Conference on Program Comprehension, 103-112, 2008
1512008
Decidable fragments of many-sorted logic
A Abadi, A Rabinovich, M Sagiv
Journal of Symbolic Computation 45 (2), 153-172, 2010
352010
Fixing security vulnerability in a source code
A Abadi, YA Feldman, R Ettinger, J Bnayahu, O Tripp, Y Haviv, ...
US Patent 8,819,637, 2014
262014
Fixing security vulnerability in a source code
A Abadi, YA Feldman, R Ettinger, J Bnayahu, O Tripp, Y Haviv, ...
US Patent 8,819,637, 2014
262014
Decidable fragments of many-sorted logic
A Abadi, A Rabinovich, M Sagiv
International Conference on Logic for Programming Artificial Intelligence …, 2007
222007
Data processing method
LJM Rouvellou
US Patent 6,950,562, 2005
192005
Fine slicing for advanced method extraction
A Abadi, R Ettinger, YA Feldman
3rd workshop on refactoring tools 21, 2009
172009
Fine slicing
A Abadi, R Ettinger, YA Feldman
International Conference on Fundamental Approaches to Software Engineering …, 2012
162012
Control method for mixed refrigerant based natural gas liquefier
KJ Kountz, PM Bishop
US Patent 6,530,240, 2003
152003
Flip your lid and toilet seat opener
SJ Hammond
US Patent 6,615,412, 2003
14*2003
Re-approaching the refactoring rubicon
A Abadi, R Ettinger, YA Feldman
Proceedings of the 2nd Workshop on Refactoring Tools, 1-4, 2008
132008
Improving slice accuracy by compression of data and control flow paths
A Abadi, R Ettinger, YA Feldman
Proceedings of the 7th joint meeting of the European software engineering …, 2009
112009
Plan-based program slicing
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent 8,959,478, 2015
102015
Determining suitable insertion points for string sanitizers in a computer code
A Abadi, J Bnayahu, R Ettinger, YA Feldman, YA Haviv, A Sharabani
US Patent 8,539,466, 2013
102013
Nitrogen: rapid development of mobile applications
A Abadi, Y Dubinsky, A Kirshin, Y Mesika, I Ben-Harrush, U Hadad
Proceedings of the 2013 companion publication for conference on Systems …, 2013
92013
Code-motion for API migration: Fixing SQL injection vulnerabilities in Java
A Abadi, YA Feldman, M Shomrat
Proceedings of the 4th Workshop on Refactoring Tools, 1-7, 2011
92011
Fine slicing: generating an executable bounded slice for program
A Abadi, R Ettinger, Y Fieldman, J Bnayahu
US Patent 8,612,954, 2013
82013
Plan-based program slicing
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent 8,543,974, 2013
82013
Execution optimization of mobile applications
A Abadi, M Abadi, I Ben-Harrush
US Patent 9,424,006, 2016
72016
Fixing security vulnerability in a source code
A Abadi, YA Feldman, R Ettinger, J Bnayahu, O Tripp, Y Haviv, ...
US Patent 9,298,924, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20