Шабалдина Наталия Владимировна
Участие в конференциях


Общее число докладов - 24

21) 2014 International Conference on Informatics, Networking and Intelligent Computing. INIC2014

Уровень конференции Международный
Тема доклада 1. Trends in the development of databases on statistics in the OECD, the EU and Russia; 2. Information system designing for innovative development assessment of efficiency of AIRR regions
Тип доклада заочное участие с публикацией доклада
Награды
Дата участия 16.11.2014 - 17.11.2014

22) Новые информационные технологии в исследовании сложных структур. Х Российская конференция с международным участием

Уровень конференции Всероссийский с международным участием
Тема доклада К тестированию недетерминированных автоматов с таймаутами относительно неразделимости
Тип доклада заочное участие с публикацией доклада
Награды
Дата участия 09.06.2014 - 11.06.2014

23) Актуальные проблемы радиофизики. АПР - 2012. IV международная научно-практическая конференция

Уровень конференции Международный
Тема доклада К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами.
Тип доклада секционный
Награды
Дата участия 01.10.2012 - 07.10.2012

24) 7-th TAROT Sammer School on Software Testing, Verification & Validation

Уровень конференции Международный
Тема доклада Separating non–deterministic finite state machines with time-outs
Тип доклада устный
Награды
Дата участия 27.06.2011 - 01.07.2011

Общее число публикаций в рамках конференций - 27

Публикации в рамках конференций

1 Прокопенко С.А., Шабалдина Н.В., Сотников А.П. Тестирование DART-реализации клиентской части протокола POP3 //Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г. Томск: Изд-во Том. политехн. ун-та, 2021. С. 153-154.
2 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.
3 Михайлова А.Н., Болтова В.С., Прокопенко С.А., Шабалдина Н.В. К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 133.
4 Мануилов В.А., Шабалдина Н.В. Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 139.
5 Сотников А.П., Болтова В.С., Шабалдина Н.В. Автоматизация построения автоматной композиции для описания клиент-серверного взаимодействия на примере протокола BOOTP //Молодежь и современные информационные технологии : сборник трудов XVII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 17-20 февраля 2020 г. Томск: Изд-во Том. политехн. ун-та, 2020. С. 186-187. URL: http://msit.tpu.ru/.
6 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.
7 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.
8 Shabaldina N., Yevtushenko N., F. Yu. Towards checking WEB-services security: using automata equations and inequalities //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. P. 90.
9 Сотников А.П., Шабалдина Н.В. Применение операций левого/правого частного для очистки пользовательских данных в ВЕБ-приложениях //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 84-85.
10 Дарусенкова Е.В., Прокопенко С.А., Шабалдина Н.В. К построению параллельной композиции расширенных автоматов //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 81-82.