Raphaël Rochet

According to our database, Raphaël Rochet authored at least 8 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1997

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

Proceedings of the 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 1997

1996

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

Raphaël Rochet

PhD thesis, 1996

Standard and ROM-based synthesis of FSMs with control flow checking capabilities.

X. Wendling, Raphaël Rochet, Régis Leveugle

Proceedings of the 14th IEEE VLSI Test Symposium (VTS'96), April 28, 1996

ROM-Based Synthesis of Fault-Tolerant Controllers.

X. Wendling, Raphaël Rochet, Régis Leveugle

Proceedings of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1996

1995

Efficient synthesis of fault-tolerant controllers.

Raphaël Rochet, Régis Leveugle, Gabriele Saucier

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Alternative Approaches to Fault Detection in FSMs.

Régis Leveugle, Raphaël Rochet, Gabriele Saucier

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1994

1993

A Synthesis Tool for Fault-Tolerant Finite State Machines.

Régis Leveugle, Raphaël Rochet, Gabriele Saucier, L. Martinez, C. Pitot

Proceedings of the Digest of Papers: FTCS-23, 1993

Analysis and Comparison of Fault Tolerant FSM Architectures Based on SEC Codes.

Raphaël Rochet, Régis Leveugle, Gabriele Saucier

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993