Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11610041 | Tool and method for designing and validating a data flow system by a formal model | Paul DUBRULLE, Stéphane Louise, Christophe GASTON, Mathieu Jan, Arnault LAPITRE | 2023-03-21 |
| 10445020 | Computer-implemented method and a system for encoding a stack application memory state using shadow memory | Kostyantyn Vorobyov, Julien Signoles | 2019-10-15 |
| 10229070 | Computer-implemented method and a system for encoding a heap application memory state using shadow memory | Kostyantyn Vorobyov, Julien Signoles | 2019-03-12 |