Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10742642 | User authentication based on predictive applications | Ayelet Avni, Fady Copty, Ayman Jarrous, Shiri Lemel | 2020-08-11 |
| 10387655 | Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a program | Fady Copty, Ayman Jarrous, Tamer Salman | 2019-08-20 |
| 10380590 | Transaction authentication based on metadata | Orit Edelstein, Tamer Salman | 2019-08-13 |
| 9626272 | Prediction of impact of workload migration | Andre Heilper, Sergey Novikov | 2017-04-18 |
| 9274918 | Prediction of impact of workload migration | Andre Heilper, Sergey Novikov | 2016-03-01 |
| 8996435 | Determining invariants in a model | Alexander Ivrii, Arie Matsliah | 2015-03-31 |
| 8914757 | Explaining illegal combinations in combinatorial models | Itai Segall, Rachel Tzoref-Brill | 2014-12-16 |
| 8903700 | Concretization of abstracted traces | Hana Chockler | 2014-12-02 |
| 8683441 | Software equivalence checking | Karen Frida Yorav | 2014-03-25 |
| 8639490 | Concretization of abstracted traces | Hana Chockler | 2014-01-28 |
| 8453082 | Soft error verification in hardware designs | Ohad Shacham, Karen Frida Yorav | 2013-05-28 |
| 8209667 | Software verification using hybrid explicit and symbolic model checking | Cynthia Rae Eisner, Ziv Glazberg, Ishai Rabinovitz | 2012-06-26 |
| 7921411 | Model checking of non-terminating software programs | Hana Chockler, Ziv Glazberg, Benyamin Godlin | 2011-04-05 |
| 7725851 | Device, system and method for formal verification | Cynthia Rae Eisner, Sitvanit Ruah, Ohad Shacham, Tatyana Veksler | 2010-05-25 |
| 7519957 | Symbolic model checking of software | Ishai Rabinovitz | 2009-04-14 |