Formalizing Signature Analysis for Control Flow Checking of Pipelined RISC Multiprocessors. - X. Delord; Gabriele Saucier (ITC, 1991)

Influence of Error Correlations on the Signature Analysis Aliasing. - Régis Leveugle; X. Delord; Gabriele Saucier (ICCD, 1993)