Матросова Анжела Юрьевна

Публикации

Общее число записей - 87
21 Matrosova A., Provkin V. Masking Internal Node Logical Faults and Trojan Circuits Injections with Using SAT Solvers //2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2020), Cluj-Napoca, Romania 21 – 23 May 2020. Proceedings. New York, USA: IEEE, 2020. P. 1-4.
22 Матросова А.Ю., Чернышов С.В. Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 137.
23 Программируемая коммутационная среда / Матросова А.Ю., Ким О.Х., Солдатов А.И., Солдатов А.А. [и др.] // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 50. С. 114‒122. DOI: 10.17223/19988605/50/14
24 Matrosova A.Yu., Andreeva V.V., Tychinskiy V.Z., Goshin G.G. Applying ROBDDs for Logical Circuit Delay Testing // Russian Physics Journal. 2019. Vol. 62, № 5. P. 827‒834. DOI: 10.1007/s11182-019-01784-y
25 Матросова А.Ю., Андреева В.В., Тычинский В.З., Гошин Г.Г. Использование ROBDD-графов для тестирования задержек логических схем //Известия вузов. Физика. 2019. Т. 62, № 5. С. 86-94.
26 Ложкин А.С., Матросова А.Ю., Фатеева Э.С. Построение частичных функций для подсхем // Труды Томского государственного университета. – Т. 304. Серия физико-математическая: Математическое и программное обеспечение информационных, технических и экономических систем : материалы VII Междунар. молодежной науч. конф. Томск, 23-25 мая 2019 г. Томск: Изд. дом Том. гос. ун-та, 2019. С. 183‒190.
27 Matrosova A., Provkin V., Nikolaeva E. Masking Internal Node Faults and Trojan Circuits in Logical Circuits //Proceedings of 2019 IEEE East-West Design & Test Symposium (EWDTS), 13-16 september 2019, Batumi. Kharkov: IEEE, 2019. P. 416-419.
28 Matrosova A., Ostanin S., Chernyshov S. Masking Robust Testable PDFs //Proceedings of 2019 IEEE East-West Design & Test Symposium (EWDTS), 13-16 september 2019, Batumi. Kharkov: IEEE, 2019. P. 420-423.
29 Matrosova A., Andreeva V., Tychinskiy V. Deriving Low Power Test Sequences Detecting Robust Testable PDFs //Proceedings of 2019 IEEE East-West Design & Test Symposium (EWDTS), 13-16 september 2019, Batumi. Kharkov: IEEE, 2019. P. 406-409.
30 Матросова А.Ю., Провкин В.А., Андреева В.В. Маскирование неисправностей полюсов логических схем с использованием частичных функций // Информационные технологии и математическое моделирование (ИТММ-2019): материалы XVIII Междунар. конф. им. А. Ф. Терпугова, 26−30 июня 2019 г. Ч. 2. Томск: Изд-во НТЛ, 2019. С. 21‒25.
31 Correction to: Finding False Paths in Sequential Circuits / Matrosova A.Yu., Andreeva V.V., Chernyshov S.V., Rozhkova S.V. [et al] // Russian Physics Journal. 2018. Vol. 60, № 11. P. 2050. DOI: 10.1007/s11182-018-1325-6
32 Matrosova A., Ostanin S., Chernyshov S. Finding False Paths for Sequential Circuits Using Operations on ROBDDs //2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS 2018), 2-4 july 2018. [S. l.]: Institute of Electrical and Electronics Engineers Inc., 2018. P. 240-242. URL: https://ieeexplore.ieee.org/document/8474213 (date of access: 25.12.2018).
33 Matrosova A.Yu., Andreeva V.V., Nikolaeva E.A. Finding Test Pairs for PDFs in Logic Circuits Based on Using Operations on ROBDDs // Russian Physics Journal. 2018. Vol. 61, № 5. P. 994‒999. DOI: 10.1007/s11182-018-1488-1
34 Матросова А.Ю., Провкин В.А. О повышении защищённости логических схем от внедрения вредоносных подсхем //Математическое и программное обеспечение информационных, технических и экономических систем : материалы VI Междунар. молодежной науч. конф. Томск, 24-26 мая 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 10-14.
35 Чернышов С.В., Матросова А.Ю. Поиск ложных путей в последовательностных схемах с использованием ROBDD //Математическое и программное обеспечение информационных, технических и экономических систем : материалы VI Междунар. молодежной науч. конф. Томск, 24-26 мая 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 3-9.
36 Матросова А.Ю., Андреева В.В. Обнаружение робастно тестируемых неисправностей задержек путей //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 93-94.
37 Матросова А.Ю., Останин С.А., Чернышов С.В. Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 88-89.
38 Провкин В.А., Матросова А.Ю. О повышении защищённости логических схем от внедрения вредоносных подсхем // Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Изд. дом Том. гос. ун-та, 2018. С. 80‒81.
39 Матросова А.Ю., Останин С.А., Николаева Е.А. Синтез частично программируемых схем, маскирующих логические неисправности элементов //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 73-74.
40 Matrosova A., Chernyshov S., Goshin G., Kudin D. Forming Patch Functions and Combinational Circuit Rectification //Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2018), Kazan, 14-17 september 2018. [S. l.], 2018. P. 726-730.