Шабалдина Наталия Владимировна
Публикации


Общее число записей - 32
1 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.
2 Прокопенко С.А., Шабалдина Н.В., Сотников А.П. Тестирование DART-реализации клиентской части протокола POP3 //Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г. Томск: Изд-во Том. политехн. ун-та, 2021. С. 153-154.
3 Сотников А.П., Болтова В.С., Шабалдина Н.В. Автоматизация построения автоматной композиции для описания клиент-серверного взаимодействия на примере протокола BOOTP //Молодежь и современные информационные технологии : сборник трудов XVII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 17-20 февраля 2020 г. Томск: Изд-во Том. политехн. ун-та, 2020. С. 186-187. URL: http://msit.tpu.ru/.
4 Мануилов В.А., Шабалдина Н.В. Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 139.
5 Михайлова А.Н., Болтова В.С., Прокопенко С.А., Шабалдина Н.В. К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 133.
6 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.
7 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.
8 Широкова Е.В., Прокопенко С.А., Шабалдина Н.В. К построению параллельной композиции расширенных автоматов //Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91.
9 Белых В.С., Громов М.Л., Шабалдина Н.В. К аппаратной реализации нейрона на ПЛИС //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 4-5.
10 Батрацкий С.В., Прокопенко С.А., Громов М.Л., Шабалдина Н.В. Тестирование JAVA программ с использованием инструмента FSMTEST2JUNIT //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 67.
11 Болтова В.С., Шабалдина Н.В. Разработка XML-представления для описания структуры автоматной композиции //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 68.
12 Дарусенкова Е.В., Прокопенко С.А., Шабалдина Н.В. К построению параллельной композиции расширенных автоматов //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 81-82.
13 Сотников А.П., Шабалдина Н.В. Применение операций левого/правого частного для очистки пользовательских данных в ВЕБ-приложениях //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 84-85.
14 Shabaldina N., Yevtushenko N., F. Yu. Towards checking WEB-services security: using automata equations and inequalities //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. P. 90.
15 Alexander Sotnikov, Maxim Gromov, Natalia Shabaldina. Experiments on parallel composition of timed finite state machines //SYRCoSE 2017 : preliminary proceedings of the 11th Spring/Summer Young Researchers’ Colloquium on Software ingineering, 5-7 june 2017. Innopolis, 2017. P. 36-41. URL: http://syrcose.ispras.ru/2017/SYRCoSE2017_Proceedings.pdf.
16 Gromov M.L., Shabaldina N.V. Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II //Automatic Control and Computer Sciences. 2017. Vol. 51, № 7. P. 507-515.
17 Maria S. Forostyanova, Natalia V. Shabaldina, Nina V. Yevtushenko. Applying a Model Based Testing Approach for Testing the CommunicationProtocol between the Cash Register Software and the Loymax Service //2017 International Siberian Conference on Control and Communications (SIBCON) : proceedings Astana, 29-30 june 2017. Astana, 2017. P. 714-720. URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7990451 (dateof access: 09.11.2017).
18 Anton V. Kolomeets, Natalia V. Shabaldina, Ekaterina V. Darusenkova, Nina V. Yevtushenko. Using Models of Finite Transition Systems for Checking Web-Service Security // 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices EDM 2017 : proceedings Erlagol, 29 june - 3 july 2017. Novosibirsk: NSTU publisher, 2017. P. 151‒154. DOI: 10.1109/EDM.2017.7981731
19 Сотников А.П., Шабалдина Н.В., Громов М.Л. Эксперименты по построению параллельной композиции временных автоматов // Труды Института системного программирования РАН. 2017. Т. 29, № 3. С. 233‒246. DOI: 10.15514/ISPRAS-2017-29(3)-13
20 Спицын В.Г., Болтова Ю.А., Шабалдина Н.В., Буй Тхи Тху Чанг Тху Чанг, Фан Нгок Хоанг. Распознавание лиц на основе метода главных компонент с применением вейвлет-дескрипторов Хаара и Добеши //Научная визуализация. 2016. Т. 8, № 5. С. 103-112. URL:: http://sv-journal.org/2016-5/index.php?lang=ru.