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
1522008
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
272014
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
272014
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
A Abadi, R Ettinger, YA Feldman
International Conference on Fundamental Approaches to Software Engineering …, 2012
172012
Fine slicing for advanced method extraction
A Abadi, R Ettinger, YA Feldman
3rd workshop on refactoring tools 21, 2009
172009
Flip your lid and toilet seat opener
SJ Hammond
US Patent 6,615,412, 2003
15*2003
Control method for mixed refrigerant based natural gas liquefier
KJ Kountz, PM Bishop
US Patent 6,530,240, 2003
152003
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
122009
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
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
102011
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
Managing big data on document based NoSQL databases
A Abadi, R Melamed, H Yasin, A Haib
US Patent 10,956,279, 2021
82021
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
The system can't perform the operation now. Try again later.
Articles 1–20