Issued Patents All Time
Showing 25 most recent of 52 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11880470 | System and method for vulnerability detection in computer code | Bar Makovitzki, Ron Shemer | 2024-01-23 |
| 11288063 | Method and apparatus for assisting in open source usage | Doron Cohen, Rami Sass | 2022-03-29 |
| 11288044 | System and method for interprocedural analysis | Bar Makovitzki, Ron Shemer | 2022-03-29 |
| 11210087 | System and method for interprocedural analysis | Bar Makovitzki, Ron Shemer, Eugen Horovitz | 2021-12-28 |
| 11210083 | System and method for safe updating of open source libraries | Doron Cohen, Ram Elron, Anna Rozin Lellouche, Rami Sass, Asaf Savich | 2021-12-28 |
| 10956279 | Managing big data on document based NoSQL databases | Roie Melamed, Hisham Yasin, Ashraf Haib | 2021-03-23 |
| 10789067 | System and method for identifying open source usage | Doron Cohen, Rami Sass | 2020-09-29 |
| 10747871 | System and method for producing secure data management software | Moria Abadi, Roie Melamed, Aidan Shribman | 2020-08-18 |
| 10713364 | System and method for identifying vulnerabilities in code due to open source usage | Doron Cohen, David Habusha, Ron Rymon, Rami Sass | 2020-07-14 |
| 10560356 | Assuring data correctness in non-stable network environment | Dmitri Pikus | 2020-02-11 |
| 10509634 | Data flow analysis for dynamic application, skipping views | Idan Ben-Harrush, Shmuel Kallner, Oleg Sternberg | 2019-12-17 |
| 10372194 | Optimizing use of location services in mobile applications to improve battery consumption | Moria Abadi, Mordechai Nisenson | 2019-08-06 |
| 10331909 | Dynamic data flow analysis for dynamic languages programs | Alexander Dvinsky, Nili Ifergan-Guy, Konstantin Shagin | 2019-06-25 |
| 10296311 | Finding uninitialized variables outside the local scope | Moria Abadi, Idan Ben-Harrush, Yishai Feldman | 2019-05-21 |
| 10296306 | Embedded location awareness in UML modeling for mobile and IoT development | Moria Abadi, Yael Dubinsky, Mordechai Nisenson | 2019-05-21 |
| 10248536 | Method for static and dynamic configuration verification | Nili Ifergan-Guy, Dmitri Pikus, Oleg Sternberg | 2019-04-02 |
| 10242315 | Finite state machine forming | Moria Abadi, Idan Ben-Harrush | 2019-03-26 |
| 10136282 | Dynamic download policy for mobile applications | Idan Ben-Harrush, Samuel Kallner, Dmitri Pikus | 2018-11-20 |
| 10055329 | Detection of antipatterns through statistical analysis | Moria Abadi, Omer Tripp | 2018-08-21 |
| 10028100 | Methods and systems for improving accuracy of indoor positioning | Roie Melamed, Eli Packer, Natalie Shapira | 2018-07-17 |
| 10013243 | System and/or method for computing interprocedural dominators | Moria Abadi, Jonathan Bnayahu, Yishai Feldman | 2018-07-03 |
| 10001543 | Methods and systems for noise removal in indoor positioning | Roie Melamed, Natalie Shapira | 2018-06-19 |
| 9983983 | Auto-generation of testable units for COBOL code | Moria Abadi, Yael Dubinsky, Yishai Feldman | 2018-05-29 |
| 9983975 | Fixing anti-patterns in javascript | Moria Abadi, Idan Ben-Harrush | 2018-05-29 |
| 9946536 | Automatic refactoring of javascript code for multi-thread execution | Moria Abadi | 2018-04-17 |