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
1312008
Decidable fragments of many-sorted logic
A Abadi, A Rabinovich, M Sagiv
Journal of Symbolic Computation 45 (2), 153-172, 2010
332010
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
212007
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
162009
Control method for mixed refrigerant based natural gas liquefier
KJ Kountz, PM Bishop
US Patent 6,530,240, 2003
152003
Fine slicing
A Abadi, R Ettinger, YA Feldman
International Conference on Fundamental Approaches to Software Engineering …, 2012
142012
Re-approaching the refactoring rubicon
A Abadi, R Ettinger, YA Feldman
Proceedings of the 2nd Workshop on Refactoring Tools, 1-4, 2008
132008
Flip your lid and toilet seat opener
SJ Hammond
US Patent 6,615,412, 2003
13*2003
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
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
Plan-based program slicing
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent 8,959,478, 2015
92015
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
82013
Plan-based program slicing
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent 8,543,974, 2013
82013
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
82011
Fine slicing: generating an executable bounded slice for program
A Abadi, R Ettinger, Y Fieldman, J Bnayahu
US Patent 8,612,954, 2013
72013
Execution optimization of mobile applications
A Abadi, M Abadi, I Ben-Harrush
US Patent 9,424,006, 2016
62016
Automatically fixing security vulnerabilities in Java code
A Abadi, R Ettinger, YA Feldman, M Shomrat
Proceedings of the ACM international conference companion on Object oriented …, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20