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


Общее число записей - 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 Сотников А.П., Болтова В.С., Шабалдина Н.В. Автоматизация построения автоматной композиции для описания клиент-серверного взаимодействия на примере протокола BOOTP //Молодежь и современные информационные технологии : сборник трудов XVII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 17-20 февраля 2020 г. Томск: Изд-во Том. политехн. ун-та, 2020. С. 186-187. URL: http://msit.tpu.ru/.
3 Мануилов В.А., Шабалдина Н.В. Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 139.
4 Михайлова А.Н., Болтова В.С., Прокопенко С.А., Шабалдина Н.В. К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 133.
5 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.
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 Широкова Е.В., Прокопенко С.А., Шабалдина Н.В. К построению параллельной композиции расширенных автоматов //Вестн. Том. гос. ун-та. УВТиИ. 2019. № 48. С. 83-91.
8 Белых В.С., Громов М.Л., Шабалдина Н.В. К аппаратной реализации нейрона на ПЛИС //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 4-5.
9 Батрацкий С.В., Прокопенко С.А., Громов М.Л., Шабалдина Н.В. Тестирование JAVA программ с использованием инструмента FSMTEST2JUNIT //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 67.
10 Болтова В.С., Шабалдина Н.В. Разработка XML-представления для описания структуры автоматной композиции //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 68.
11 Дарусенкова Е.В., Прокопенко С.А., Шабалдина Н.В. К построению параллельной композиции расширенных автоматов //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 81-82.
12 Сотников А.П., Шабалдина Н.В. Применение операций левого/правого частного для очистки пользовательских данных в ВЕБ-приложениях //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 84-85.
13 Shabaldina N., Yevtushenko N., F. Yu. Towards checking WEB-services security: using automata equations and inequalities //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. P. 90.
14 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.
15 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.
16 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).
17 A. P. Sotnikov, N.V. Shabaldina, M.L. Gromov. Experiments on Parallel Composition of Timed Finite State Machines //Труды ИСП РАН. 2017. Vol. 29, № 3. P. 233-246.
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.
19 A. P. Sotnikov, N.V. Shabaldina, M.L. Gromov. Experiments on parallel compositionof timed finite state machines //Труды ИСП РАН. 2017. Vol. 29, № 3. P. 233-246.
20 Спицын В.Г., Болтова Ю.А., Шабалдина Н.В., Буй Тхи Тху Чанг Тху Чанг, Фан Нгок Хоанг. Распознавание лиц на основе метода главных компонент с применением вейвлет-дескрипторов Хаара и Добеши //Научная визуализация. 2016. Т. 8, № 5. С. 103-112. URL:: http://sv-journal.org/2016-5/index.php?lang=ru.