Zyubin Vladimir Evgenievich

Зюбин Владимир Евгеньевич
Vladimir Evgenievich Zyubin
Russia, Novosibirsk
Academic degree
Academic rank
Research area
Affiliation & position
  • Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — leading researcher
E-mail
List of Articles in System Informatics:
V. Zyubin T. Liakh Model Checking of industrial control algorithms in combination with virtual objects // System Informatics. — . — # 8.  — P. 11-20
N. Garanina V. Zyubin T. Liakh Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — . — # 9.  — P. 111-132
V. Zyubin T. Liakh A. Rozov Reflex Language: a Practical Notation for Cyber-Physical Systems // System Informatics. — . — # 12.  — P. 85-104
N. Garanina I. Anureev V. Zyubin Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. — . — # 14.  — P. 19-30
N. Garanina I. Anureev V. Zyubin A. Rozov T. Liakh S. Gorlatch Reasoning about Programmable Logic Controllers // System Informatics. — . — # 17.  — P. 33-42
N. Garanina S. Staroletov V. Zyubin I. Anureev Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — . — # 22.  — P. 21-30