Владимир Зюбин

Биография

Доктор технических наук, заведующий кафедрой компьютерных технологий Факультета информационных технологий Новосибирского государственного университета, ведущий научный сотрудник Института автоматики и электрометрии СО РАН

Области научных интересов:

  • Процесс-ориентированное программирование
  • Психология программирования
  • Проблемно-ориентированные языки
  • Программирование в системах управления (киберфизические системы, ПЛК, встраиваемые системы, Промышленный Интернет вещей, гибкие системы)
  • Контроль качества программ
  • Инженерия требований
  • Методы верификации управляющих программ (динамическая верификация, проверка моделей, дедуктивная верификация)

Публикации

  • LNCS, vol 12232, Август 2020
  • 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
    Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia, Июль 2019
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
    Towards safe cyber-physical systems: the Reflex language and its transformational semantics
    14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6., Апрель 2019
  • Garanina N.O., Anureev I.S., Zyubin V.E
    Constructing verification-oriented domain-specific process ontologies
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30., 2019
  • Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
    Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
    Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria, 2019
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain, Сентябрь 2018
  • Reflex Language: a Practical Notation for Cyber-Physical Systems
    System Informatics 12 (2018), pp. 84–104, 2018
  • Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
    Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94., 2018
  • Tatiana Liah, Vladimir Zyubin
    The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
    17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM)., Июнь 2016
  • Andrey Rozov, Vladimir Zyubin
    A hyperprocess-based approach in Arduino programming
    International Conference on Advanced Technology & Sciences (ICAT’15), Antalya, Август 2015
  • Andrei S. Rozov and Vladimir E. Zyubin
    Process-oriented programming language for MCU-based automation
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk, 2013
  • Zyubin V. E
    Using Process-Oriented Programming in LabVIEW
    Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk, Июнь 2010
  • Zyubin V. E
    Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
    Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia, Июль 2008
  • Vladimir E. Zyubin
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk, 2007
  • Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V
    An Automated Control System for a Silicon Single-Crystal Growth Furnace
    Autometria, Vol. 32, No 2 (1996), pp. 25–30, 1996