Design of microprocessors with built-in on-line test. - Régis Leveugle; T. Michel; Gabriele Saucier (FTCS, 1990)

A New Approach to Control Flow Checking Without Program Modification. - T. Michel; Régis Leveugle; Gabriele Saucier (FTCS, 1991)

Taking Advantage of ASICs to Improve Dependability with Very Low Overheads. - T. Michel; Régis Leveugle; Gabriele Saucier; R. Doucet; P. Chapier (EDAC-ETC-EUROASIC, 1994)

Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues. - Hartmut Fritzsche; T. Michel (Interact. Comput., 2000)

A 135Mbps DVB-S2 compliant codec based on 64800-bit LDPC and BCH codes (ISSCC paper 24.3). - Pascal Urard; L. Paumier; P. Georgelin; T. Michel; V. Lebars; E. Yeo; B. Gupta (DAC, 2005)

Generative Adversarial Networks for Scintillation Signal Simulation in EXO-200. - S. Li; I. Ostrovskiy; Z. Li; L. Yang; S. Al Kharusi; G. Anton; I. Badhrees; P. S. Barbeau; D. Beck; V. Belov; T. Bhatta; M. Breidenbach; et al. (CoRR, 2023)