Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9729582 | Methods, systems, and computer readable media for generating software defined networking (SDN) policies | Boon Thau Loo, Yifei Yuan | 2017-08-08 |
| 6681264 | Implied message sequence charts | Kousha Etessami, Mihalis Yannakakis | 2004-01-20 |
| 6516306 | Model checking of message flow diagrams | Mihalis Yannakakis | 2003-02-04 |
| 6324496 | Model checking of hierarchical state machines | Mihalis Yannakakis | 2001-11-27 |
| 5483470 | Timing verification by successive approximation | Alon Itai, Robert P. Kurshan, Mihalis Yannakakis | 1996-01-09 |