Analysis and Comparison of Fault Tolerant FSM Architectures Based on SEC Codes. - Raphaël Rochet; Régis Leveugle; Gabriele Saucier (DFT, 1993)

A Synthesis Tool for Fault-Tolerant Finite State Machines. - Régis Leveugle; Raphaël Rochet; Gabriele Saucier; L. Martinez; C. Pitot (FTCS, 1993)

Alternative Approaches to Fault Detection in FSMs. - Régis Leveugle; Raphaël Rochet; Gabriele Saucier (DFT, 1994)

Efficient synthesis of fault-tolerant controllers. - Raphaël Rochet; Régis Leveugle; Gabriele Saucier (ED&TC, 1995)

ROM-Based Synthesis of Fault-Tolerant Controllers. - X. Wendling; Raphaël Rochet; Régis Leveugle (DFT, 1996)

Standard and ROM-based synthesis of FSMs with control flow checking capabilities. - X. Wendling; Raphaël Rochet; Régis Leveugle (VTS, 1996)

Synthèse Automatique de Contrôleurs avec Contraintes de Sûreté de Fonctionnement. (Controller Automatic Synthesis with Dependability Constraints). - Raphaël Rochet (1996)

Automatic and Optimized Synthesis of Dataparts with Fault Detection or Tolerance Capabilities. - X. Wendling; H. Chauvet; Lionel Revéret; Raphaël Rochet; Régis Leveugle (DFT, 1997)