| 2005 |
|---|
| 4 | EE | Pascal Urard,
L. Paumier,
P. Georgelin,
T. Michel,
V. Lebars,
E. Yeo,
B. Gupta:
A 135Mbps DVB-S2 compliant codec based on 64800-bit LDPC and BCH codes (ISSCC paper 24.3).
DAC 2005: 547-548 |
| 2000 |
|---|
| 3 | | Hartmut Fritzsche,
T. Michel:
Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues.
Interacting with Computers 12(3): 209-223 (2000) |
| 1994 |
|---|
| 2 | | T. Michel,
Régis Leveugle,
Gabriele Saucier,
R. Doucet,
P. Chapier:
Taking Advantage of ASICs to Improve Dependability with Very Low Overheads.
EDAC-ETC-EUROASIC 1994: 14-18 |
| 1991 |
|---|
| 1 | | T. Michel,
Régis Leveugle,
Gabriele Saucier:
A New Approach to Control Flow Checking Without Program Modification.
FTCS 1991: 334-343 |
