Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8321668 | Control of data access by dynamically verifying legal references | Xavier Leroy, Patrice Hameau, Nicolas Regnault | 2012-11-27 |
| 7882396 | Method for controlling program execution integrity by verifying execution trace prints | Dominique Bolignano, Xavier Leroy | 2011-02-01 |
| 7827534 | Method for determining operational characteristics of a program | Eric Vetillard | 2010-11-02 |
| 7565646 | Method for compression of object code interpreted by tree-structured expression factorization | Daniel Le Metayer, Arnaud Venet, Alexandre Frey | 2009-07-21 |
| 7467376 | Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object | Daniel Le Metayer, Arnaud Venet, Alexandre Frey | 2008-12-16 |