Issued Patents 2018
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10095774 | Cluster evaluation in unsupervised learning of continuous data | Omri Soceanu, Lev Greenberg | 2018-10-09 |
| 9928378 | Sensitive data obfuscation in output files | Ehud Aharoni, Lev Greenberg, Roza Miroshnikov, Asaf Polakovski | 2018-03-27 |
| 9898395 | Unit-level formal verification for vehicular software systems | Fady Copty, Dmitry Pidan, Tamer Salman | 2018-02-20 |
| 9886369 | Dynamic data fabrication for database applications | Ronen Levy, Tamer Salman | 2018-02-06 |
| 9875175 | Unit-level formal verification for vehicular software systems | Fady Copty, Dmitry Pidan, Tamer Salman | 2018-01-23 |
| 9870313 | Unit-level formal verification for vehicular software systems | Fady Copty, Dmitry Pidan, Tamer Salman | 2018-01-16 |