A traceability technique for specifications A Abadi, M Nisenson, Y Simionovici 2008 16th IEEE International Conference on Program Comprehension, 103-112, 2008 | 174 | 2008 |
Managing big data on document based NoSQL databases A Abadi, R Melamed, H Yasin, A Haib US Patent 10,956,279, 2021 | 48 | 2021 |
Decidable fragments of many-sorted logic A Abadi, A Rabinovich, M Sagiv Journal of Symbolic Computation 45 (2), 153-172, 2010 | 40 | 2010 |
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 | 35 | 2014 |
Decidable fragments of many-sorted logic A Abadi, A Rabinovich, M Sagiv Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007 | 24 | 2007 |
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 | 22 | 2023 |
Fine slicing for advanced method extraction A Abadi, R Ettinger, YA Feldman 3rd workshop on refactoring tools 21, 2009 | 22 | 2009 |
Fine slicing: Theory and applications for computation extraction A Abadi, R Ettinger, YA Feldman International Conference on Fundamental Approaches to Software Engineering …, 2012 | 21 | 2012 |
Re-approaching the refactoring rubicon A Abadi, R Ettinger, YA Feldman Proceedings of the 2nd Workshop on Refactoring Tools, 1-4, 2008 | 15 | 2008 |
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 | 13 | 2018 |
Plan-based program slicing A Abadi, J Bnayahu, R Ettinger, Y Feldman US Patent 8,959,478, 2015 | 13 | 2015 |
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 | 13 | 2011 |
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 | 12 | 2013 |
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 | 12 | 2009 |
Execution optimization of mobile applications A Abadi, M Abadi, I Ben-Harrush US Patent 9,424,006, 2016 | 11 | 2016 |
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 | 10 | 2016 |
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 | 10 | 2011 |
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 | 9 | 2014 |
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 | 9 | 2013 |
Plan-based program slicing A Abadi, J Bnayahu, R Ettinger, Y Feldman US Patent 8,543,974, 2013 | 9 | 2013 |