Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12038478 | Hybrid solver for integrated circuit diagnostics and testing | Aleksandar B. Feldman, Johan de Kleer, Ion Matei | 2024-07-16 |
| 11520689 | System and method for automatic program repair using fast-result test cases | Eric A. Bier | 2022-12-06 |
| 11494537 | Method and system for efficient testing of digital integrated circuits | Aleksandar B. Feldman, Johan de Kleer, Ion Matei | 2022-11-08 |
| 11249888 | System and method for generating counterexample tests of incidental invariants | Eric A. Bier, Johan de Kleer, Ron Zvi Stern | 2022-02-15 |
| 11163674 | System and method for identifying a faulty component in a spectrum ambiguity group | Eric A. Bier | 2021-11-02 |
| 11010520 | System and method for circuit synthesis using partial boolean quantification | Aleksandar B. Feldman, Johan de Kleer | 2021-05-18 |