Research group
Cyber-Physical Systems Lab
Publications
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