Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11977868 | Search based approach for generating controller models | Alexandre Perez, Ion Matei, Peter Patel-Schneider, Johan de Kleer | 2024-05-07 |
| 11755971 | Threshold based selective maintenance of series-parallel systems | Krishna M. Kalyanam, Kai Frank Goebel | 2023-09-12 |
| 11636089 | Deferred reclamation of invalidated entries that are associated with a transaction log in a log-structured array | Dan Aharoni, Itay Keller, Sanjay Narahari | 2023-04-25 |
| 11249891 | Machine-learning framework for testing feedback controller robustness | Peter Patel-Schneider, Ion Matei, Alexandre Perez, Johan de Kleer | 2022-02-15 |
| 11249888 | System and method for generating counterexample tests of incidental invariants | Alexandre Campos Perez, Eric A. Bier, Johan de Kleer | 2022-02-15 |
| 10901979 | Generating responses to queries based on selected value assignments | Lior Chen, Meir Kalech, Dennis Potashnik | 2021-01-26 |
| 10437702 | Data-augmented software diagnosis method and a diagnoser therefor | Meir Kalech, Amir Elmishali | 2019-10-08 |
| 9934131 | Using model-based diagnosis to improve software testing | Meir Kalech | 2018-04-03 |
| 7519769 | Scalable storage network virtualization | Mugdha Kulkarni | 2009-04-14 |