Issued Patents 2022
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11494537 | Method and system for efficient testing of digital integrated circuits | Aleksandar B. Feldman, 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 | Aleksandar B. Feldman, Morad Behandish, Ion Matei, Saigopal Nelaturi | 2022-07-12 |
| 11340567 | System and method for determining manufacturability and process planning for hybrid manufacturing using symbolic, logical, and/or combinatorial representations | Morad Behandish, Saigopal Nelaturi | 2022-05-24 |
| 11321504 | Learning constitutive equations of physical components with constraints discovery | Ion Matei | 2022-05-03 |
| 11249891 | Machine-learning framework for testing feedback controller robustness | Peter Patel-Schneider, Ion Matei, Alexandre Perez, Ron Zvi Stern | 2022-02-15 |
| 11249888 | System and method for generating counterexample tests of incidental invariants | Alexandre Campos Perez, Eric A. Bier, Ron Zvi Stern | 2022-02-15 |
| 11244097 | System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver | Aleksandar B. Feldman, Morad Behandish, Ion Matei, Saigopal Nelaturi | 2022-02-08 |
| 11244521 | System and method for determining vehicle component conditions via performance correlation | Anurag Ganguli, Rajinderjeet Singh Minhas | 2022-02-08 |