| 10747871 |
System and method for producing secure data management software |
Aharon Abadi, Roie Melamed, Aidan Shribman |
2020-08-18 |
| 10372194 |
Optimizing use of location services in mobile applications to improve battery consumption |
Aharon Abadi, Mordechai Nisenson |
2019-08-06 |
| 10331650 |
Updating web files based on detected legacy model file changes |
Yuval Gil, David Hirsch, Alexander Rekhter |
2019-06-25 |
| 10331651 |
Updating web files based on detected legacy model file changes |
Yuval Gil, David Hirsch, Alexander Rekhter |
2019-06-25 |
| 10296306 |
Embedded location awareness in UML modeling for mobile and IoT development |
Aharon Abadi, Yael Dubinsky, Mordechai Nisenson |
2019-05-21 |
| 10296311 |
Finding uninitialized variables outside the local scope |
Aharon Abadi, Idan Ben-Harrush, Yishai Feldman |
2019-05-21 |
| 10242315 |
Finite state machine forming |
Aharon Abadi, Idan Ben-Harrush |
2019-03-26 |
| 10055329 |
Detection of antipatterns through statistical analysis |
Aharon Abadi, Omer Tripp |
2018-08-21 |
| 10013243 |
System and/or method for computing interprocedural dominators |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman |
2018-07-03 |
| 9983975 |
Fixing anti-patterns in javascript |
Aharon Abadi, Idan Ben-Harrush |
2018-05-29 |
| 9983983 |
Auto-generation of testable units for COBOL code |
Aharon Abadi, Yael Dubinsky, Yishai Feldman |
2018-05-29 |
| 9946536 |
Automatic refactoring of javascript code for multi-thread execution |
Aharon Abadi |
2018-04-17 |
| 9934132 |
Determining code coverage of an application by test(S) |
Aharon Abadi, Idan Ben-Harrush, Samuel Kallner |
2018-04-03 |
| 9823913 |
Method of adding local variables in place of global in JavaScript |
Aharon Abadi, Idan Ben-Harrush, Yishai Feldman |
2017-11-21 |
| 9769590 |
Moving critical actions within a mobile application |
Aharon Abadi, Jonathan Bnayahu, Idan Ben-Harrush |
2017-09-19 |
| 9733905 |
Embedded location awareness in UML modeling for mobile and IoT development |
Aharon Abadi, Yael Dubinsky, Mordechai Nisenson |
2017-08-15 |
| 9710264 |
Screen oriented data flow analysis |
Aharon Abadi, Idan Ben-Harrush |
2017-07-18 |
| 9710244 |
System and/or method for computing interprocedural dominators |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman |
2017-07-18 |
| 9477448 |
Screen-oriented computing program refactoring |
Aharon Abadi, Idan Ben-Harrush |
2016-10-25 |
| 9424006 |
Execution optimization of mobile applications |
Aharon Abadi, Idan Ben-Harrush |
2016-08-23 |
| 9280446 |
Method for finding all valid interprocedural execution paths on COBOL in polynomial time |
Aharon Abadi, Ran Ettinger, Yishai Feldman |
2016-03-08 |
| 9195458 |
System and/or method for computing interprocedural dominators |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman |
2015-11-24 |
| 9069562 |
Mobile computing program slicing and behavior |
Aharon Abadi, Idan Ben-Harrush |
2015-06-30 |
| 9009684 |
Method, apparatus and product for porting applications to embedded platforms |
Aharon Abadi, Yishai Feldman, Maayan Goldstein |
2015-04-14 |
