Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9529697 | Coverage analysis for variable size signals | Olga Voronina, Zsolt Kalmar | 2016-12-27 |
| 9442701 | Verifying models for exceptional behavior | — | 2016-09-13 |
| 9280324 | Traceability in a modeling environment | Xiaocang Lin, Aravind Pillarisetti, Kai Tuschner | 2016-03-08 |