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


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

11) International Siberian Conference on Control and Communications (SIBCON-2017)

Уровень конференции Международный
Тема доклада Applying a Model Based Testing Approach for Testing the Communication Protocol between the Cash Register Software and the Loymax Service
Тип доклада устный
Награды
Дата участия 29.06.2017 - 30.06.2017

12) 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices. EDM 2017

Уровень конференции Международный
Тема доклада Using Models of Finite Transition Systems for Checking Web-Service Security
Тип доклада заочное участие с публикацией доклада
Награды
Дата участия 29.06.2017 - 03.07.2017

13) XIV Всероссийская конференция студенческих научно-исследовательских инкубаторов

Уровень конференции Всероссийский
Тема доклада К программной реализации пакета прикладных программ "FSMTest-2.0"
Тип доклада устный
Награды
Дата участия 17.05.2017 - 18.05.2017

14) XIV Всероссийская конференция студенческих научно-исследовательских инкубаторов

Уровень конференции Всероссийский
Тема доклада Программная реализация преобразования глобального полуавтомата во временной автомат
Тип доклада устный
Награды
Дата участия 17.05.2017 - 18.05.2017

15) Программные семантики, спецификации и верификация. 7-й семинар PSSV-2016

Уровень конференции Международный
Тема доклада Using BALM-II for deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress
Тип доклада секционный
Награды
Дата участия 14.06.2016 - 15.06.2016

16) Новые информационные технологии в исследовании сложных структур. XI Международная научная конференция

Уровень конференции Международный
Тема доклада Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
Тип доклада заочное участие с публикацией доклада
Награды
Дата участия 06.06.2016 - 09.06.2016

17) Новые информационные технологии в исследовании сложных структур. XI Международная научная конференция

Уровень конференции Международный
Тема доклада Интерактивный модуль генерации и решения систем линейных уравнений в структуре электронного обучающего курса Линейная алгебра
Тип доклада заочное участие с публикацией доклада
Награды
Дата участия 06.06.2016 - 09.06.2016

18) Information Technologies for Complex System Analysis and Synthesis. The Second International Summer School

Уровень конференции Международный
Тема доклада Интерактивная обучающая система по линейной алгебре: генерация систем линейных уравнений
Тип доклада стендовый
Награды Сертификат участника
Дата участия 08.06.2015 - 12.06.2015

19) Информационные технологии в науке, управлении, социальной сфере и медицине. II Международная научная конференция

Уровень конференции Международный
Тема доклада Информационная система комплексной оценки эффективности инновационного развития региона
Тип доклада секционный
Награды
Дата участия 19.05.2015 - 22.05.2015

20) 2nd International Conference on Education Reform and Modern Management (ERMM2015)

Уровень конференции Международный
Тема доклада Comparative Investment Analysis of Industries Development in Russia and Germany
Тип доклада заочное участие с публикацией доклада
Награды
Дата участия 19.04.2015 - 20.04.2015

Общее число публикаций в рамках конференций - 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.