Исследовательская группа

Лаборатория киберфизических систем

Публикации

An Ontology-based Approach to Support Formal Verification of Concurrent Systems

August 2020

LNCS, vol 12232

Подробнее

Two-Step Deductive Verification of Control Software Using Reflex

July 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S

Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia

Towards safe cyber-physical systems: the Reflex language and its transformational semantics

April 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E

14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

2019

Staroletov S., Fedorov V

10th workshop “Program semantics, specification and verification: Theory and applications”

Constructing verification-oriented domain-specific process ontologies

2019

Garanina N.O., Anureev I.S., Zyubin V.E

System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30.

Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems

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

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model

2019

Staroletov S., Dubko A

System Informatics. P. 13-44

An Ontology of Specification Patterns for Verification of Concurrent Systems

September 2018

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

Подробнее

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

System Informatics 12 (2018), pp. 84–104

Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators

2018

Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94.

The Reflex Language Usage to Automate the Large Solar Vacuum Telescope

June 2016

Tatiana Liah, Vladimir Zyubin

17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).

A hyperprocess-based approach in Arduino programming

August 2015

Andrey Rozov, Vladimir Zyubin

International Conference on Advanced Technology & Sciences (ICAT’15), Antalya

Operational semantics of Reflex

2014

Anureev I.S

System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 1–10

Process-oriented programming language for MCU-based automation

2013

Andrei S. Rozov and Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk

Using Process-Oriented Programming in LabVIEW

June 2010

Zyubin V. E

Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk

Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues

July 2008

Zyubin V. E

Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia

Hyper-automaton: A Model of Control Algorithms

2007

Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk

Подробнее

An Automated Control System for a Silicon Single-Crystal Growth Furnace

1996

Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V

Autometria, Vol. 32, No 2 (1996), pp. 25–30