ТГУ.Сотрудники
Матросова Анжела Юрьевна
Участие в конференциях
Общее число докладов - 31
1) Математическое и программное обеспечение информационных, технических и экономических систем (МПОИТЭС-2023). X Международная молодежная научная конференция
| Уровень конференции | Международный |
| Тема доклада | Оценка искажения поведения логической схемы в присутствии неисправности |
| Тип доклада | заочное участие с публикацией доклада |
| Дата участия | 26.05.2023 - 29.05.2023 |
2) 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Международная конференция
| Уровень конференции | Международный |
| Тема доклада | Deriving FSM-based tests using a,b−faults for Logic Circuits |
| Тип доклада | заочное участие с публикацией доклада |
| Дата участия | 04.07.2022 - 06.07.2022 |
3) 19th IEEE East-West Design and Test Symposium (EWDTS-2021)
| Уровень конференции | Международный |
| Тема доклада | Applying Incompletely Specified Boolean Functions for Patch Circuit Generation |
| Тип доклада | обычный |
| Дата участия | 10.09.2021 - 13.09.2021 |
4) 19th IEEE East-West Design and Test Symposium (EWDTS-2021)
| Уровень конференции | Международный |
| Тема доклада | SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs |
| Тип доклада | обычный |
| Дата участия | 10.09.2021 - 13.09.2021 |
5) Математическое и программное обеспечение информационных, технических и экономических систем. Международная научная конференция
| Уровень конференции | Международный |
| Тема доклада | O возможностях введения дополнительных вентилей с целью обфускации логических схем |
| Тип доклада | обычный |
| Дата участия | 26.05.2021 - 29.05.2021 |
6) Математическое и программное обеспечение информационных, технических и экономических систем. VIII Международная молодежная научная конференция
| Уровень конференции | Международный |
| Тема доклада | Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами |
| Тип доклада | обычный |
| Дата участия | 27.05.2020 - 30.05.2020 |
7) 17th IEEE East-West Design and Test Simposium (EWDTS-2019)
| Уровень конференции | Международный |
| Тема доклада | Deriving Low Power Test Sequences Detecting Robust Testable PDFs |
| Тип доклада | обычный |
| Дата участия | 13.09.2019 - 16.09.2019 |
8) 17th IEEE East-West Design and Test Simposium (EWDTS-2019)
| Уровень конференции | Международный |
| Тема доклада | Masking Robust Testable PDFs |
| Тип доклада | обычный |
| Дата участия | 13.09.2019 - 16.09.2019 |
9) 17th IEEE East-West Design and Test Simposium (EWDTS-2019)
| Уровень конференции | Международный |
| Тема доклада | Masking Internal Node Faults and Trojan Circuits in Logical Circuits |
| Тип доклада | обычный |
| Дата участия | 13.09.2019 - 16.09.2019 |
10) 15th IEEE East-West Design and Test Simposium (EWDTS-2017)
| Уровень конференции | Международный |
| Тема доклада | Detection and Masking of Trojan Circuits in Sequential Logic |
| Тип доклада | устный |
| Награды | Диплом участника |
| Дата участия | 29.09.2017 - 02.10.2017 |
Общее число публикаций в рамках конференций - 70
Публикации в рамках конференций
| 1 | Провкин В.А., Матросова А.Ю. Оценка искажения поведения логической схемы в присутствии неисправности // Материалы X-й Международной молодёжной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», Томск, 26-29 мая 2023 г. Томск: Изд-во Том. гос. ун-та, 2023. С. 59‒69. |
|
|
| 2 | Провкин В.А., Матросова А.Ю. Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 72‒73. |
|
|
| 3 | Матросова А.Ю., Тычинский В.З., Андреева В.В. Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 73‒74. |
|
|
| 4 | Останин С.А., Матросова А.Ю., Андреева В.В. Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 78‒79. |
|
|
| 5 | Laputenko A., Yevtushenko N., Andreeva V., Matrosova A. Deriving FSM-based tests using a,b−faults for Logic Circuits // 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) : proceedings. [Los Alamitos], 2022. P. 80‒85. DOI: 10.1109/ISVLSI54635.2022.00027 |
|
|
| 6 | Провкин В.А., Матросова А.Ю., Енютина А.И. О возможностях введения дополнительных вентилей с целью обфускации логических схем //Математическое и программное обеспечение информационных, технических и экономических систем : материалы VIII Международной молодежной научной конференции. Томск, 26-30 мая 2021 г. Томск: Изд-во Том. ун-та, 2021. С. 202-207. |
|
|
| 7 | Matrosova A., Provkin V. Applying Incompletely Specified Boolean Functions for Patch Circuit Generation //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 238-241. |
|
|
| 8 | Matrosova A.Yu., Andreeva V.V., Tychinskiy V.Z. SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 252-255. |
|
|
| 9 | Матросова А.Ю., Чернышов С.В. Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 137. |
|
|
| 10 | 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. |
|
Учебная деятельность
Научная деятельность
Конкурсная деятельность