ТГУ.Сотрудники
Шабалдина Наталия Владимировна
Участие в конференциях
Общее число докладов - 26
1) Математическое и программное обеспечение информационных, технических и экономических систем (МПОИТЭС-2023). X Международная молодежная научная конференция
| Уровень конференции | Международный |
| Тема доклада | Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей |
| Тип доклада | заочное участие с публикацией доклада |
| Дата участия | 26.05.2023 - 29.05.2023 |
2) СНИИ-2023. XX Всероссийская конференция студенческих научно-исследовательских инкубаторов
| Уровень конференции | Всероссийский |
| Тема доклада | Применение модели расширенного автомата для описания интерфейсной части обучающих тренажеров |
| Тип доклада | заочное участие с публикацией доклада |
| Дата участия | 02.05.2023 - 05.05.2023 |
3) 19th IEEE East-West Design and Test Symposium (EWDTS-2021)
| Уровень конференции | Международный |
| Тема доклада | FSM-based Sequential Circuits Optimization by Changing Initial State of Specification |
| Тип доклада | секционный |
| Дата участия | 10.09.2021 - 13.09.2021 |
4) Молодежь и современные информационные технологии. XVIII Международная научно-практическая конференция студентов, аспирантов и молодых ученых
| Уровень конференции | Международный |
| Тема доклада | Тестирование DART-реализации клиентской части протокола POP3 |
| Тип доклада | секционный |
| Дата участия | 22.03.2021 - 26.03.2021 |
5) Новые информационные технологии в исследовании сложных структур (ICAM 2020). XIII Международная конференция
| Уровень конференции | Международный |
| Тема доклада | Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей |
| Тип доклада | секционный |
| Дата участия | 07.09.2020 - 09.09.2020 |
6) Всероссийская конференция студенческих научно-исследовательских инкубаторов. СНИИ-2019
| Уровень конференции | Всероссийский |
| Тема доклада | К автоматизированному построению композицииконечных автоматов: генерация BALM-II-скриптана основе структуры композиции |
| Тип доклада | секционный |
| Дата участия | 13.05.2019 - 15.05.2019 |
7) Всероссийская конференция студенческих научно-исследовательских инкубаторов. СНИИ-2019
| Уровень конференции | Всероссийский |
| Тема доклада | Разработка интерфейса для пакета прикладныхпрограмм по автоматизированному построениюавтоматных композиций |
| Тип доклада | секционный |
| Дата участия | 13.05.2019 - 15.05.2019 |
8) Всероссийская конференция студенческих научно-исследовательских инкубаторов. СНИИ-2019
| Уровень конференции | Всероссийский |
| Тема доклада | К автоматизированному построению композицииконечных автоматов: генерация BALM-II-скриптана основе структуры композиции |
| Тип доклада | секционный |
| Дата участия | 13.05.2019 - 15.05.2019 |
9) Новые информационные технологии в исследовании сложных структур ICAM2018. XII Российская конференция с международным участием. В рамках конференции IV школа молодых учёных «Информационные технологии в анализе и синтезе сложных систем – IT CoSAS»
| Уровень конференции | Всероссийский с международным участием |
| Тема доклада | К аппаратной реализации нейрона на ПЛИС |
| Тип доклада | секционный |
| Дата участия | 04.06.2018 - 08.06.2018 |
10) Новые информационные технологии в исследовании сложных структур ICAM2018. XII Российская конференция с международным участием. В рамках конференции IV школа молодых учёных «Информационные технологии в анализе и синтезе сложных систем – IT CoSAS»
| Уровень конференции | Всероссийский с международным участием |
| Тема доклада | Тестирование JAVA программ с использованием инструмента FSMTEST2JUNIT |
| Тип доклада | секционный |
| Дата участия | 04.06.2018 - 08.06.2018 |
Общее число публикаций в рамках конференций - 30
Публикации в рамках конференций
| 1 | Ульященко М.Ю., Шабалдина Н.В. Моделирование работы протокола OAuth 2.0 на языке Promela с целью обнаружения возможных уязвимостей // Материалы X-й Международной молодёжной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», Томск, 26-29 мая 2023 г. Томск: Изд-во Том. гос. ун-та, 2023. С. 69‒74. |
|
|
| 2 | Эксперимент по выявлению избыточного сетевого взаимодействия DART-реализации SMTP-клиента с сервером / Сотников А.П., Шабалдина Н.В., Громов М.Л., Прокопенко С.А. [и др.] // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 70‒71. |
|
|
| 3 | Сотников А.П., Громов М.Л., Прокопенко С.А., Шабалдина Н.В. Проверка свойства реактивности в DART-реализации SMTP-клиента // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 71‒72. |
|
|
| 4 | Прокопенко С.А., Шабалдина Н.В., Сотников А.П. Тестирование DART-реализации клиентской части протокола POP3 //Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г. Томск: Изд-во Том. политехн. ун-та, 2021. С. 153-154. |
|
|
| 5 | Gromov M., Shabaldina N., Prokopenko S., Tvardovskii A. FSM-based Sequential Circuits Optimization by Changing Initial State of Specification //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 361-366. |
|
|
| 6 | Михайлова А.Н., Болтова В.С., Прокопенко С.А., Шабалдина Н.В. К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 133. |
|
|
| 7 | Мануилов В.А., Шабалдина Н.В. Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 139. |
|
|
| 8 | Сотников А.П., Болтова В.С., Шабалдина Н.В. Автоматизация построения автоматной композиции для описания клиент-серверного взаимодействия на примере протокола BOOTP //Молодежь и современные информационные технологии : сборник трудов XVII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 17-20 февраля 2020 г. Томск: Изд-во Том. политехн. ун-та, 2020. С. 186-187. URL: http://msit.tpu.ru/. |
|
|
| 9 | Gromov M.L., Prokopenko S.A., Shabaldina N.V., Laputenko A.V. Model Based JUnit Testing //20th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices. EDM 2019 : conference proceedings. [S. l.]: IEEE, 2019. P. 139-142. URL: ISBN 978-1-7281-1753-9. |
|
|
| 10 | Gromov M.L., Prokopenko S.A., Shabaldina N.V., Sotnikov A.P. ArtificialIntelligence in Web Attacks Detecting //SYRCoSE 2019. Preliminary Proceedings of the 13rd Spring/Summer Young Researchers’ Colloquium on Software Engineering, Saratov, 29-31 may 2019. Saratov, 2019. P. 186-189. URL: http://syrcose.ispras.ru/2019/SYRCoSE2019_Proceedings.pdf. |
|
Учебная деятельность
Научная деятельность
Конкурсная деятельность