Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11592442 | Control marker for implementing analysis methods on spots | Agnes Roseline Claude Pouzet, Vincent Doury, Christophe Rene Roger Vedrine | 2023-02-28 |
| 11130122 | Pipette tip container | Typhaine Dagland, Gilles Venturi, Vincent Doury | 2021-09-28 |
| 10921318 | Control marker for implementing analysis methods on spots | Agnes Roseline Claude Pouzet, Vincent Doury, Christophe Rene Roger Vedrine | 2021-02-16 |
| 10139404 | Control marker for implementing analysis methods on spots | Agnes Roseline Claude Pouzet, Vincent Doury, Christophe Rene Roger Vedrine | 2018-11-27 |
| 9636679 | Cap for sealing a container | Gilles Venturi | 2017-05-02 |
| 8938646 | Mutations on input for test generation | Anatoly Koyfman, Michal Rimon, Avi Ziv | 2015-01-20 |
| 8756574 | Using reverse time for coverage analysis | Avi Ziv, Steven Mittermaier | 2014-06-17 |
| 8589892 | Verification of speculative execution | Anatoly Koyfman, Michal Rimon | 2013-11-19 |
| 8280713 | Automatic generation of test suite for processor architecture compliance | Allon Adir, Sigal Asaf, Itai Jaeger | 2012-10-02 |
| 8019586 | Hole query for functional coverage analysis | Avi Ziv | 2011-09-13 |
| 7790462 | Reaction vessel support having pivoting plates, an analyzing device comprising a support of this type, and corresponding analysis method | Bruno De Bastiani | 2010-09-07 |
| 7673261 | Systematic compliance checking of a process | Alion Adir, Sigal Asaf, Itai Jaeger, Ofer Peled | 2010-03-02 |
| 7428715 | Hole query for functional coverage analysis | Avi Ziv | 2008-09-23 |
| 7085964 | Dynamic test program generator for VLIW simulation | Shai Rubin | 2006-08-01 |
| 7058926 | Tool for implementing Floating-Point related applications using customized language | — | 2006-06-06 |
| 5724504 | Method for measuring architectural test coverage for design verification and building conformal test | Aharon Aharon, Alon Gluska, Yossi Lichtenstein, Yossi Malka | 1998-03-03 |
| 5592674 | Automatic verification of external interrupts | Alon Gluska, Raanan Gewirtzman, Reuven Nisser | 1997-01-07 |