Vladimir Evgenievich Zyubin Russian Federation, Novosibirsk Academic degree Doctor of Engineering Academic title Associate Professor Research area technological programming languages Affiliation & position Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — leading researcher E-mail zyubin@iae.nsk.su
Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // System Informatics. — 2016. — # 8. — P. 11-20
Garanina N., Zyubin V., Liakh T. Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — 2017. — # 9. — P. 111-132
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // System Informatics. — 2018. — # 12. — P. 85-104
Garanina N., Anureev I., Zyubin V. Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. — 2019. — # 14. — P. 19-30
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. — 2020. — # 17. — P. 33-42
Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — 2023. — # 22. — P. 21-30
