Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10635555 | Verifying a graph-based coherency verification tool | Gerrit Koch, Ralf Winkelmann | 2020-04-28 |
| 10282265 | Verifying a graph-based coherency verification tool | Gerrit Koch, Ralf Winkelmann | 2019-05-07 |
| 9612860 | Sharing memory between guests by adapting a base address register to translate pointers to share a memory region upon requesting for functions of another guest | Utz Bacher, Dominik Dingel | 2017-04-04 |
| 9606827 | Sharing memory between guests by adapting a base address register to translate pointers to share a memory region upon requesting for functions of another guest | Utz Bacher, Dominik Dingel | 2017-03-28 |