Forming Patch Functions and Combinational Circuit Rectification. - Anjela Yu. Matrosova; Semen Chernyshov; Gennadiy Goshin; Dmitry Kudin (EWDTS, 2018)

Finding False Paths for Sequential Circuits Using Operations on ROBDDs. - Anzhela Yu. Matrosova; Sergei Ostanin; Semen Chernyshov (IOLTS, 2018)

Masking Robust Testable PDFs. - Anzhela Yu. Matrosova; Sergei Ostanin; Semen Chernyshov (EWDTS, 2019)

Constructing a Sequence Detecting Robustly Testable Path Delay Faults in Sequential Circuits. - Anzhela Yu. Matrosova; Semen Chernyshov; O. Kh. Kim; Ekaterina Nikolaeva (Autom. Remote. Control., 2021)