Публикации

• An Ontology-based Approach to Support Formal Verification of Concurrent Systems
  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
  An Ontology of Specification Patterns for Verification of Concurrent Systems
  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
  Hyper-automaton: A Model of Control Algorithms
  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