Follow
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
1752008
Managing big data on document based NoSQL databases
A Abadi, R Melamed, H Yasin, A Haib
US Patent 10,956,279, 2021
482021
Decidable fragments of many-sorted logic
A Abadi, A Rabinovich, M Sagiv
Journal of Symbolic Computation 45 (2), 153-172, 2010
402010
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
342014
Efficacy and safety of a protein-based SARS-CoV-2 vaccine: a randomized clinical trial
E Mostafavi, S Eybpoosh, M Karamouzian, M Khalili, S Haji-Maghsoudi, ...
JAMA Network Open 6 (5), e2310302-e2310302, 2023
252023
Decidable fragments of many-sorted logic
A Abadi, A Rabinovich, M Sagiv
Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007
242007
Fine slicing for advanced method extraction
A Abadi, R Ettinger, YA Feldman
3rd workshop on refactoring tools 21, 2009
222009
Fine slicing: Theory and applications for computation extraction
A Abadi, R Ettinger, YA Feldman
International Conference on Fundamental Approaches to Software Engineering …, 2012
212012
Re-approaching the refactoring rubicon
A Abadi, R Ettinger, YA Feldman
Proceedings of the 2nd Workshop on Refactoring Tools, 1-4, 2008
152008
Method for dynamic change of application behavior by configuration
A Abadi, I Ben-Harrush, N Ifergan-Guy, D Pikus, O Sternberg
US Patent App. 15/203,814, 2018
132018
Plan-based program slicing
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent 8,959,478, 2015
132015
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
132011
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
122013
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
Execution optimization of mobile applications
A Abadi, M Abadi, I Ben-Harrush
US Patent 9,424,006, 2016
112016
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
102016
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
102011
Developing enterprise mobile applications the easy way
A Abadi, Y Dubinsky, A Kirshin, Y Mesika, I Ben-Harrush, U Hadad
Proceedings of the International Workshop on Innovative Software Development …, 2014
92014
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
Plan-based program slicing
A Abadi, J Bnayahu, R Ettinger, Y Feldman
US Patent 8,543,974, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20