Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9507888 | Active state visualization for finite state machine models | Nishith Aggarwal, Srinath Avadhanula, David B. Andrade | 2016-11-29 |
| 9304840 | Message-based modeling | Hidayet T. Simsek, Ramamurthy Mani | 2016-04-05 |