Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9880922 | System and method for automatically generating a graphical model from a text-based program | David Koh, Brian K. Ogilvie, Zhongxin Li, Shi C. Zhang | 2018-01-30 |
| 8983823 | Verification harness for automatically generating a text-based representation of a graphical model | David Koh, Brian K. Ogilvie, Zhongxin Li, Shi C. Zhang | 2015-03-17 |