Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12293153 | Fuzzy matching of obscure texts with meaningful terms included in a glossary | Shlomit I. Shachor, Micha Moffie, Omer Y. Boehm | 2025-05-06 |
| 9454382 | Verification of UML state machines | Oshri Adler, Karen Frida Yorav | 2016-09-27 |
| 7805496 | Automatic generation of hybrid performance models | Sarel Aiber, Dagan Gilat, Ariel Landau, Aviad Sela, Segev Wasserkrug | 2010-09-28 |