Issued Patents 2023
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11789724 | Machine learning to facilitate incremental static program analysis | Pietro Ferrara, Marco Pistoia, Pascal Roos | 2023-10-17 |
| 11681696 | Finding services in a service registry system of a service-oriented architecture | Evgeny Beskrovny, Emmanuel Wurth | 2023-06-20 |
| 11630919 | Management of sensitive data using static code analysis | Srinivasan Sengamedu Hanumantha Rao, Qiang Zhou | 2023-04-18 |
| 11586437 | Data flow tracking in program verification | Rajdeep Mukherjee, Michael Wilson, Yingjun Lyu | 2023-02-21 |