Основные публикации 2023 года

1. Zyubin, V.E.; Garanina, N.O.; Anureev, I.S.; Staroletov, S.M. Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm. Sensors 2023, 23, 6216. https://doi.org/10.3390/s23136216

2. I. M. Chernenko and I. S. Anureev, "Development of Verification Condition Generator for Process-Oriented Programs in PoST Language," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1760-1765, doi: 10.1109/EDM58354.2023.10225217.

3. A. V. Gnezdilova, N. O. Garanina, S. M. Staroletov and V. E. Zyubin, "Towards Controlled Natural Language for Event-Driven Temporal Requirements," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1860-1865, doi: 10.1109/EDM58354.2023.10225047.

4. A. D. Ishchenko, I. S. Anureev, S. M. Staroletov, N. O. Garanina and V. E. Zyubin, "Formalization of Process-oriented Programs in poST Using Isabelle/HOL," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1810-1815, doi: 10.1109/EDM58354.2023.10225143.

5. D. A. Permiashkin, "Towards Conflict Resolution Methods in Process-Oriented Programs," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1790-1793, doi: 10.1109/EDM58354.2023.10225109.

6. K. A. Timofeev, Y. V. Shornikov and A. A. Achitaev, "Comparition of Numerical Methods for Stiff Problems in SimInTech," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1730-1733, doi: 10.1109/EDM58354.2023.10225240.

7. V. E. Zyubin, D. S. Ivanishkin and I. S. Anureev, "Towards Process-Oriented Programming Distributed Control Systems," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1840-1843, doi: 10.1109/EDM58354.2023.10225024.

8. Зюбин В.Е. Реализация распределенной системы управления с сохранением семантики гиперпроцесса // Сборник трудов Российской конференции с международным участием «Распределенные информационно-вычислительные ресурсы (DICR-2022)», Россия, г. Новосибирск, 5 – 8 декабря 2022 г. С. 91-97 DOI: 10.25743/DIR.2022.51.99.016 http://conf.ict.nsc.ru/files/conferences/dicr2022/719207/DICR-2022_full.pdf

 9. A. Kravchenko, A. Sychev, and V. Zyubin, "Visual monitoring of swarms of industrial robots," 2023 International Russian Automation Conference (RusAutoCon), 2023, pp. 604-609, doi: 10.1109/RusAutoCon58002.2023.10272883

10. Maseevsky A., Zyubin V. Developing Cloud PLC for poST-Specified Software //2023 International Russian Automation Conference (RusAutoCon). – IEEE, 2023. – С. 477-481., doi: 10.1109/RusAutoCon58002.2023.10272742

11. A. V. Kozlova, V. E. Zyubin and N. O. Garanina, "Developing EDTL IDE Kernel with Xtext Framework," 2023 IEEE XVI International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering (APEIE), Novosibirsk, Russian Federation, 2023, pp. 1000-1005, doi: 10.1109/APEIE59731.2023.10347639.

12. I. A. Gornev and V. V. Bondarchuk, "Towards Collaborative Coding in RIDE Web IDE," 2023 IEEE XVI International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering (APEIE), Novosibirsk, Russian Federation, 2023, pp. 970-974, doi: 10.1109/APEIE59731.2023.10347731.

13. Garanina, N. O., Staroletov, S. M., Zyubin, V. E., & Anureev, I. S. (2023). Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text. System Informatics, N 22. (pp. 21-30). https://doi.org/10.31144/si.2307-6410.2023.n22.p21-30

Квалификационные работы, защищенные в 2023 году

Всего под руководством сотрудников лаборатории студентами НГУ было выполнено и защищено 13 работ, в основном по тематике, связанной с киберфизическими системами:

Абраменко Артем Андреевич, Разработка модуля визуализации структуры программ для webIDE языка poST (рук. Зюбин В.Е.)
Черненко Иван Михайлович, Разработка генератора условий корректности poST-программ и стратегий их доказательства в системе Isabelle/HOL (рук. Ануреев И. С.)
Масеевский Антон Михайлович, Разработка веб-технологии виртуализации ПЛК средствами Python-интерпретатора для исполнения poST-программ (рук. Зюбин В.Е.)
Потапова Анастасия Сергеевна, Исследование статистических методов классификации по спектрам тлеющего разряда (рук. Зюбин В.Е.)
Синицын Даниил Владимирович, Разработка ядра облачного IDE процесс-ориентированного расширения языка Си (рук. Зюбин В.Е.)
Лай Сифэй, Разработка CAN-bus протокола прикладного уровня для целей межузлового взаимодействия в распределенных микроконтроллерных системах управления (рук. Зюбин В.Е.)
Ли Хань, Исследование методов отладки распределенных систем управления на программно-аппаратных симуляторах объекта управления (рук. Зюбин В.Е.)
Лю Чэнь, Синтаксически-ориентированный анализ арифметических выражений (рук. Шорников Ю.В.)
Кодиров Фируз Максудович, Разработка вероятностного расширения языка описания моделей потоков распределенных систем (рук. Старолетов С.М.)
Макушев Вадим Сергеевич, Разработка системы обеспечения транзакций в блокчейне на основе эллиптических кривых (рук. Старолетов С.М.)
Мельников Сергей Андреевич, Разработка и формализация киберфизической системы моделирования воздушных масс (рук. Старолетов С.М.)
Черемнов Николай Александрович, Разработка программного каркаса для обработки последовательностей темпоральных сигналов и определения аномалий в них (рук. Старолетов С.М.)
Янченко Игорь Дмитриевич, Реализация и тестирование распределенной IoT-подсистемы анализа мусора в рамках системы умного города (рук. Старолетов С.М.)

Основные публикации 2022 года

1. V. E. Zyubin, A. S. Rozov, I. S. Anureev, N. O. Garanina and V. Vyatkin, "poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language," in IEEE Access, doi: 10.1109/ACCESS.2022.3157601. (Q1)
2. Garanina, N., Staroletov, S., Gorlatch, S. (2022). Model Checking Meets Auto-Tuning of High-Performance Programs. In: Villanueva, A. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2022. Lecture Notes in Computer Science, vol 13474. P. 63-82. Springer, Cham. https://doi.org/10.1007/978-3-031-16767-6_4 (Q2)
3. A. L. Grivtsova, V. E. Zyubin, T. V. Lyakh and A. A. Dvinyanin, "Automatic Generation of Verification Code for Dynamic Verification of Process-Oriented Reflex Programs," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 689-692, doi: 10.1109/EDM55285.2022.9855194.
4. I. A. Gornev, V. V. Bondarchuk and T. V. Liakh, "Towards Multi-User Mode in RIDE Web-IDE," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 675-678, doi: 10.1109/EDM55285.2022.9855114.
5. A. N. Getmanova, N. O. Garanina, S. M. Staroletov, V. E. Zyubin and I. S. Anureev, "Semantic Classification of Event Driven Temporal Logic Requirements," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 663-668, doi: 10.1109/EDM55285.2022.9855053.
6. D. A. Permiashkin, "Towards to Load Balancing for Cooperative Multithreading Implementation of Process-Oriented Programs," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 651-656, doi: 10.1109/EDM55285.2022.9855161.
7. I. Chernenko, I. S. Anureev, N. O. Garanina and S. M. Staroletov, "A Temporal Requirements Language for Deductive Verification of Process-Oriented Programs," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 657-662, doi: 10.1109/EDM55285.2022.9855145.
8. D. I. Migranov, "A Library for Visualizing Three-Dimensional Non-Euclidean Spaces," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 646-650, doi: 10.1109/EDM55285.2022.9855017.
9. A. D. Kharchenko, V. E. Zyubin and A. S. Rozov, "Towards E-Learning Support for Advanced PLC-Programming: Virtual Training Kit for a Sluice Controller with the poST Language," 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 708-713, doi: 10.1109/EDM55285.2022.9855157.
10. I. S. Anureev, V. E. Zyubin, N. O. Garanina and S. M. Staroletov, "Developing Distributed Control Software with the Reflex Language: Bottle-filling System Case Study," 2022 International Russian Automation Conference (RusAutoCon), 2022, pp. 683-688, doi: 10.1109/RusAutoCon54946.2022.9896261.
11. S. M. Staroletov, "Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language," 2022 International Russian Automation Conference (RusAutoCon), 2022, pp. 863-869, doi: 10.1109/RusAutoCon54946.2022.9896346.
12. Staroletov S.M., Anureev I.S. Towards unit testing of event-driven control requirements // Computational Technologies 2022 , Volume 27, № 1, p.88-100 DOI: 10.25743/ICT.2022.27.1.007 (RSCI)

Квалификационные работы, защищенные в 2022 году

Всего под руководством сотрудников лаборатории студентами НГУ было выполнено и защищено 19 работ, в основном по тематике, связанной с киберфизическими системами:

Витченко В. А.Унифицированная архитектура модуля расширения ядра Web-IDE процесс-ориентированного языка Reflex (рук. Зюбин В.Е.)
Башев В. И. Ядро Web-IDE процесс-ориентированного языка poST (рук. Зюбин В.Е.)
Яковлев Н. В. Исследование алгоритмов поиска классифицирующих маркеров в спектрах тлеющего разряда (рук. Зюбин В.Е.)
Пермяшкин Д. А. Исследование механизмов балансировки загрузки в процесс-ориентированных языках программирования (рук. Зюбин В.Е.)
Родченко А. С. Исследование подходов к разработке виртуальных лабораторных стендов в среде CoDeSys (рук. Зюбин В.Е.)
Молочев И. А. Разработка метода отслеживания семантических изменений в программах на языке Koltin (рук. Зюбин В.Е.)
Ворончихина А. С. Создание имплантируемого датчика для долговременного мониторинга температуры тела и активности мелких животных (рук. Зюбин В.Е.)
Лукьянова А. К. Разработка веб-интерфейса удаленного управления роботом в проекте DuckieTown (рук. Лях Т. В.)
Гривцова А. Л. Автоматическая генерация верифицирующего кода для динамической верификации процесс-ориентированных программ (рук. Лях Т. В.)
Девятовская А. Д. Разработка визуально-инерциального SLAM модуля для проекта Duckietown (рук. Лях Т. В.)
Бондарчук В. В. Разработка методов администрирования пользователей в web-IDE RIDE 2.0 (рук. Лях Т. В.)
Белоглазов Д. А. Исследование унифицированных архитектур и механизмов расширения ядра Web-IDE процесс-ориентированного языка poST (рук. Лях Т. В.)
Шабалина Д. Е. Разработка методов предварительной обработки изображений для решения задачи семантической сегментации в проекте Duckietown (рук. Лях Т. В.)
Ланчуковская К. С. Семантическая сегментация изображений в проекте Duckietown с использованием нейросетевых алгоритмов (рук. Лях Т. В.)
Куталев А. В. Разработка алгоритма планирования для процесс-ориентированного ядра OS (рук. Гаранина Н. О.) 
Гетманова А. Н. Разработка генератора LTL-формул из списка EDTL-требований (рук. Гаранина Н. О.) 
Козлова А. В. Разработка парсера EDTL-требований в абстрактное синтаксическое дерево (рук. Гаранина Н. О.) 
Гнездилова А. В. Разработка алгоритма преобразования EDTL-спецификаций в требования на естественном языке (рук. Гаранина Н. О.) 
Кондратьев И. И. Разработка транслятора языка poST в язык Promela для целей верификации методом проверки моделей  (рук. Гаранина Н. О.) 

Основные публикации 2021 года

1. V. Bashev, A. Rozov and V. Zyubin, "PoST2ST: a Web Service for Translating poST Programs to the IEC 61131-3 Structured Text," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 520-523, doi: 10.1109/EDM52169.2021.9507695

2. A. Bastrykina, V. Zyubin and A. Rozov, "Developing Reflex IDE Kernel with Xtext Framework," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 511-514, doi: 10.1109/EDM52169.2021.9507663.

3. I. Chernenko, I. Anureev and N. Garanina, "Proving Reflex Program Verification Conditions in Coq Proof Assistant," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 485-488, doi: 10.1109/EDM52169.2021.9507628.

4. I. Gornev and T. Liakh, "RIDE: Theia-Based Web IDE for the Reflex Language," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 503-506, doi: 10.1109/EDM52169.2021.9507678.

5. A. A. Ponomarenko, N. O. Garanina, S. M. Staroletov and V. E. Zyubin, "Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 493-498, doi: 10.1109/EDM52169.2021.9507563.

6. E. Zhdarkin and I. Anureev, "Development and Verification of Smart-Contracts for the ScientificCoin Platform," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 528-532, doi: 10.1109/EDM52169.2021.9507717.

7. Zyubin V., Rozov A. (2021) Using Process-Oriented Structured Text for IEC 61499 Function Block Specification. In: Bellatreche L., Chernishev G., Corral A., Ouchani S., Vain J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham. pp. 217-227. https://doi.org/10.1007/978-3-030-87657-9_17 (Q3)

8. Garanina N., Koznov D. (2021) Static Checking Consistency of Temporal Requirements for Control Software. In: Bellatreche L., Chernishev G., Corral A., Ouchani S., Vain J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham., pp 189-203. https://doi.org/10.1007/978-3-030-87657-9_15 (Q3)

9. A. Dvinianin and T. Liakh, "Debugging Reflex-Programs on Digital Plant Models," 2021 International Russian Automation Conference (RusAutoCon),021, pp. 618-622, doi: 10.1109/RusAutoCon52004.2021.9537401.

10. Sergey Staroletov, Horst Schulte, Thomas Baar, Ivan Konyukhov, Nikolay Shilov, Tatiana Liakh, Andrei Rozov, and Vladimir Zyubin, "Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study," 202116th Conference on Computer Science and Intelligence Systems (FedCSIS), 2021, pp. 485-488, doi: 10.15439/2021F98.

11. S. Staroletov, "Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera," 2021 28th Conference of Open Innovations Association (FRUCT), 2021, pp. 431-438, doi: 10.23919/FRUCT50888.2021.9347586.

12. Zyubin V., Anureev I., Garanina N., Staroletov S., Rozov A., Liakh T. (2021) Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. In: Hojjat H., Massink M. (eds) Fundamentals of Software Engineering. FSEN 2021. Lecture Notes in Computer Science, vol 12818. Springer, Cham. https://doi.org/10.1007/978-3-030-89247-0_7 (Q2)

13. N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, and S. P. Gorlatch. A Temporal Logic for Programmable Logic Controllers. // ISSN 0146-4116, Automatic Control and Computer Sciences, 2021, Vol. 55, No. 7, pp. 763–775. © Allerton Press, Inc., 2021. (Q3)

14. N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, and S. P. Gorlatch. A Temporal Logic for Programmable Logic Controllers. // ISSN 0146-4116, Automatic Control and Computer Sciences, 2021, Vol. 55, No. 7, pp. 763–775. © Allerton Press, Inc., 2021. DOI: 10.3103/S0146411621070038 https://rdcu.be/cGbZp

15. Vladimir Zyubin Software Psychology of Control Software Design and Development // 2021 International Symposium on Knowledge, Ontology, and Theory (KNOTH) (doi: 10.1109/KNOTH54462.2021.9685023) V. Zyubin, "Software Psychology of Control Software Design and Development," 2021 International Symposium on Knowledge, Ontology, and Theory (KNOTH), 2021, pp. 100-103, doi: 10.1109/KNOTH54462.2021.9685023.

Основные публикации 2020 года

1. Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin Verifying Reflex-software with SPIN: Hand Dryer Case Study // XXI International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Novosibirsk, 29 June - 3 July 2020, P. 210-214

2. T. Liakh and A. Grivtsova, "Dynamic Verification of Process-Oriented Control Software by the Case of Crossroad Control," 2020 International Russian Automation Conference (RusAutoCon), Sochi, Russia, 2020, pp. 1037-1041, doi: 10.1109/RusAutoCon49822.2020.9208138.

3. Garanina N., Anureev I., Sidorova E., Koznov D., Zyubin V., Gorlatch S. (2020) An Ontology-Based Approach to Support Formal Verification of Concurrent Systems. In: Sekerinski E. et al. (eds) Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science, vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_9

4. Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. N 17. 2020. P. 33-42.

5. Garanina N.O., Anureev I.S, Zyubin V.E. Constructing verification-oriented domain-specific process ontologies // Aut. Control Comp. Sci. 54, Issue 7, pp. 739–749 (2020) DOI: 10.3103/S014641162007007X

6. Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Старолетов С.М., Розов А.С., Лях Т.В., Горлач С.П. Темпоральная логика для программируемых логических контроллеров // Моделирование и анализ информационных систем. Т. 27. № 4. 2020. С. 376-391. DOI: 10.18255/1818-1015-2020-4-376-391

7. Anureev I., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S. Two-Step Deductive Verification of Control Software Using Reflex // ISSN 0361-7688, Programming and Computer Software, 2020, Vol. 46, No. 4, pp. 261-272. © Pleiades Publishing, Ltd., 2020

8. Anureev I.S. Operational Semantics of Annotated Reflex Programs // Aut. Control Comp. Sci. Vol. 54, No. 7, 2020. P. 718-726. DOI: 10.3103/S0146411620070032

9. A. Kugaevskikh, "Bio-Inspired End-Stopped Neuron Model for the Curves Segmentation," 2020 International Russian Automation Conference (RusAutoCon), Sochi, Russia, 2020, pp. 719-724, doi: 10.1109/RusAutoCon49822.2020.9208069.

10. Kugaevskikh A.V., Grif M.G. Recognition of deaf gestures based on a bio-inspired neural network. Journal of Physics: Conference Series. 2020. Vol. 1661. P. 012038. DOI: 10.1088/1742-6596/1661/1/012038

Основные публикации 2019 года

Статьи

1. Розов А. С., Зюбин В. Е. Адаптация процесс-ориентированного подхода к разработке встраиваемых микроконтроллерных систем // Автометрия. 2019. Том 55, № 2, С. 114–122 (DOI: 10.15372/AUT20190212)
2. Лях Т. В., Зюбин В. Е., Гаранина Н. О. Автоматическая верификация алгоритмов управления в киберфизических системах на программных имитаторах // Автометрия. 2019. Том 55, № 2, С. 103–113 (DOI: 10.15372/AUT20190211)
3. Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S. Two-Step Deductive Verification of Control Software Using Reflex // Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia. LNCS. 2019. Vol. 11964. P. 50-63. DOI 10.1007/978-3-030-37487-7_5 (WoS, Scopus, Q2).
4. Anureev I. Operational Semantics of Reflex // System Informatics. 2019. No 14. P. 1-10.
5. Ануреев И.С. Операционная семантика аннотированных Reflex программ // Моделирование и анализ информационных систем. 2019. Т. 26. № 4. С. 475-487. (ВАК / РИНЦ).
6. Natalia Garanina, Igor Anureev and Vladimir Zyubin Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. 2019. No 14. P. 19-30.
7. Гаранина Н.О., Ануреев И.С., Боровикова О.И., Зюбин В.Е. Методы специализации онтологии процессов, ориентированной на верификацию // Моделирование и анализ информационных систем. 2019. Т. 26, №4 (2019), С. 534-549. (ВАК / РИНЦ).
8. Garanina N.O., Anureev I.S., Borovikova O.I. Verification-oriented Process Ontology // Automatic Control and Computer Science. 2019. N 7. (Scopus, Q3, WoS)
9. Shilov N.V., Kondratyev D.A., Anureev I.S., Bodin E.V., Promsky A.V. Platform-independent Specification and Verification of the Standard Mathematical Square Root Function // Automatic Control and Computer Sciences, 2019, Vol. 53, No. 7 (Scopus)
10. Кугаевских А.В., Согрешилин А.А. Анализ эффективности выделения границ сегментов средствами нейронных сетей. Автометрия, 55 (4), 2019, 118-128. DOI: 10.15372/AUT20190413
11. Кузнецов С.А. К вопросу об актуальности разработки отечественных архитектурно-строительных САПР. "Приборы и системы. Управление, контроль, диагностика". 2019. N2, С.1-9.
12. Кузнецов С.А. Отечественные САПР для лёгкой промышленности - результат предметно-ориентированного подхода к их разработке. "Приборы и системы. Управление, контроль, диагностика". 2019. N9, С.1-8.
13. Меркулова, Е.А., Зюбин, В.Е., Князев, Г.Г. Метод проверки гипотез на базе статистической обработки разнородных электроэнцефалографических данных / Е. А. Меркулова, В. Е. Зюбин, Г. Г. Князев // Вестник НГУ, сер. Информационные технологии. - 2019. - т. 17, вып. 1. - С. 61-71 DOI: 10.25205/1818-7900-2019-17-1-61-71
14. Лях, Т.В. Мобильное приложение непрерывной передачи видеоданных в облачные сервисы // Вестник НГУ, сер. Информационные технологии. - 2019. - т. 17, вып. 1. - С. 53-60 DOI: 10.25205/1818-7900-2019-17-1-53-60

Труды международных и российских конференций

1. Rozov A., Anureev I., Garanina, N., Liakh T., Zyubin V. Towards Safe Embedded Systems:IndustrialC Translational Semantics for AVR Microcontrollers. // SibirCon 2019,
2. Liakh T., Rozov A., Zyubin V. LabVIEW-based Automatic Verification of Process-Oriented Software // IEEE International Siberian Conference on Control and Communications (SIBCON-2019), April 18–20, 2019 Tomsk, Russia DOI 10.1109/SIBCON.2019.8729596
3. Liakh T., Anureev I., Garanina, Rozov A., Zyubin V. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems. // SibirCon 2019, Novosibirsk, 21-22 October 2019 P. 0466 - 0471
4. Garanina N., Borovikova O. Ontological Approach to Checking Event Consistency for a Set of Temporal Requirements // SibirCon 2019, Novosibirsk, 21-22 October 2019 P. 0922 – 0927.
5. Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V. Towards safe cyber-physical systems: the Reflex language and its transformational semantics // IEEE International Siberian Conference on Control and Communications (SIBCON-2019), April 18–20, 2019 Tomsk, Russia 10.1109/SIBCON.2019.8729633
6. Igor Anureev, Natalia Garanina, Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlach, Two-Step Deductive Verification of Control Software Using Reflex // A.P. Ershov Informatics Conference July 2–5, 2019, Novosibirsk, Akademgorodok, Russia Proceedings Novosibirsk, 21-22 October 2019 P. 0857 – 0861.
7. Anureev I. Operational semantics of Reflex // Abstracts of Ten Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2019) Jule 1-2, 2019 in Novosibirsk, Russia. P. 20.
8. Anureev I., Garanina N.O., Zyubin V.E. Constructing verification-oriented domain-specific process ontologies // Abstracts of Ten Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2019) Jule 1-2, 2019 in Novosibirsk, Russia. P. 23.
9. Natalia Garanina, Igor Anureev, Elena Sidorova, Vladimir Zyubin and Sergei Gorlatch, An ontology-based approach to support formal verification of concurrent systems // 8th International Symposium “From Data to Models and Back (DataMod)” Porto, Portugal, 7-8 October 2019 http://pages.di.unipi.it/datamod/edition-2019/
10. Staroletov S., Shilov N., Zyubin V., Liakh T., Rozov A., Konyukhov I., Shilov I., Baar T., Schulte H. “Model-driven methods to design of reliable multiagent cyber-physical systems”. In: CEUR Workshop Proceedings Vol. 2478, 2019, P. 74-91 / Modeling and Analysis of Complex Systems and Processes Workshop, MACSPro 2019; Vienna; Austria; 21-23 March 2019. P. 1-18. (Scopus)