Totally Self-Checking FSM Design Based on Multilevel Synthesis Methods and FPGA Implemetation. - Anzhela Yu. Matrosova; K. Nikitin; Olga Goloubeva (IOLTW, 2001)

High-level and hierarchical test sequence generation. - Gert Jervan; Zebo Peng; Olga Goloubeva; Matteo Sonza Reorda; Massimo Violante (HLDVT, 2002)

Soft-Error Detection Using Control Flow Assertions. - Olga Goloubeva; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (DFT, 2003)

High-level test generation for hardware testing and software validation. - Olga Goloubeva; Matteo Sonza Reorda; Massimo Violante (HLDVT, 2003)

An RT-level Concurrent Error Detection Technique for Data Dominated Systems. - Olga Goloubeva; Matteo Sonza Reorda; Massimo Violante (IOLTS, 2003)

Automatic Generation of Validation Stimuli for Application-Specific Processors. - Olga Goloubeva; Matteo Sonza Reorda; Massimo Violante (DATE, 2004)

Software-Implemented Hardware Fault Tolerance. - Olga Goloubeva; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (Springer, 2006)