Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9038036 | Generation of source code and executable code from formal descriptions | Wolfgang Gellerich | 2015-05-19 |
| 8863101 | Compiler generator | Wolfgang Gellerich | 2014-10-14 |
| 8214810 | Method of compiling source code, compiler, computer system, and computer program product | Mark Dettinger | 2012-07-03 |