Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9432278 | Simulation of interactions between network endpoints | Christopher G. Kaler, Ning Sun, Yiming Cao, Meng Jin, Sergio F. Mera +1 more | 2016-08-30 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte | 2011-04-12 |