Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12192215 | Method and architecture for providing integrated design of cyber-physical system with watermarking | Raman Goyal, Christoforos Somarakis, Erfaun Noorani, Shantanu Rane | 2025-01-07 |
| 12099352 | Methods and systems for fault diagnosis | Ion Matei, Alexandre Perez, Johan de Kleer | 2024-09-24 |
| 12099744 | Reduced data representation memory controller and related chiplet sets | Warren B. Jackson, Alexandre Perez, Johan de Kleer | 2024-09-24 |
| 12038478 | Hybrid solver for integrated circuit diagnostics and testing | Johan de Kleer, Alexandre Campos Perez, Ion Matei | 2024-07-16 |
| 11967951 | Analog computer architecture for fast function optimization | Ion Matei, Johan de Kleer | 2024-04-23 |
| 11960273 | Method and architecture for AI-assisted supervision for a controlled system | Christoforos Somarakis, Erfaun Noorani, Raman Goyal, Shantanu Rane | 2024-04-16 |
| 11934756 | Reducing the numerical complexity of designs | Ion Matei, Maksym Zhenirovskyy, Johan de Kleer | 2024-03-19 |
| 11580267 | System and method for augmenting lumped parameter model diagnosis engine | Ion Matei, Saigopal Nelaturi, Johan de Kleer, Clinton Morris | 2023-02-14 |
| 11494537 | Method and system for efficient testing of digital integrated circuits | Johan de Kleer, Alexandre Campos Perez, Ion Matei | 2022-11-08 |
| 11386509 | System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver | Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi | 2022-07-12 |
| 11244097 | System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver | Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi | 2022-02-08 |
| 11163919 | Method and system for component-based design of physical systems | Ion Matei, Maksym Zhenirovskyy, Johan de Kleer | 2021-11-02 |
| 11157672 | System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver | Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi | 2021-10-26 |
| 11137318 | Model-based diagnosis in frequency domain | Ion Matei, Johan de Kleer | 2021-10-05 |
| 11043951 | Analog computer architecture for fast function optimization | Ion Matei, Johan de Kleer | 2021-06-22 |
| 11010520 | System and method for circuit synthesis using partial boolean quantification | Alexandre Campos Perez, Johan de Kleer | 2021-05-18 |
| 10853540 | Method and system for automated design and design-space exploration | Johan de Kleer, Ion Matei | 2020-12-01 |