Get started
Author

Vladimir Zyubin

Observed names: V. E. Zyubin, V.E. Zyubin, Vladimir E. Zyubin, Vladimir Evgenyevich Zyubin
ORCID: 0000-0002-8198-3197
Observed ORCID: 0000-0002-8198-3197
OpenAlex ID: A5088886105
Femtosecond point-by-point inscription of Bragg gratings by drawing a coated fiber through ferrule
2016 · A.V. Dostovalov, A.A. Wolf, et al. · Optics Express · 125
Hyper-automaton: a Model of Control Algorithms
2007 · Vladimir E. Zyubin · International Siberian Conference on Control and Communications · 37
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language
2022 · Vladimir E. Zyubin, Andrei S. Rozov, et al. · IEEE Access · 35
PDF
Reflex Language: a Practical Notation for Cyber-physical Systems
2018 · Vladimir Zyubin, Tatiana Liakh, et al. · System Informatics · 24
PDF
Two-Step Deductive Verification of Control Software Using Reflex
2019 · Igor Anureev, Natalia Garanina, et al. · Lecture notes in computer science · 21
Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics
2019 · Igor Anureev, Natalia Garanina, et al. · International Siberian Conference on Control and Communications · 18
A Temporal Logic for Programmable Logic Controllers
2021 · N. O. Garanina, I. S. Anureev, et al. · Automatic Control and Computer Sciences · 15
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
2021 · Vladimir Zyubin, Igor Anureev, et al. · Lecture notes in computer science · 15
Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
2019 · T. V. Lyakh, V. E. Zyubin, et al. · Optoelectronics Instrumentation and Data Processing · 9
Process-oriented programming language for MCU-based automation
2013 · Andrei S. Rozov, Vladimir E. Zyubin · International Siberian Conference on Control and Communications · 9
The Post Language: Process-Oriented Extension for IEC 61131-3 Structured Text
2020 · Vladislav Bashev, Igor Anureev, et al. · International Russian Automation Conference (RusAutoCon) · 8
An Ontology-Based Approach to Support Formal Verification of Concurrent Systems
2020 · Natalia Garanina, Igor Anureev, et al. · Lecture notes in computer science · 7
The reflex language usage to automate the large solar vacuum telescope
2016 · T. V. Liah, V. E. Zyubin · International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices · 7
Developing Reflex IDE Kernel with Xtext Framework
2021 · Alena Bastrykina, Vladimir Zyubin, et al. · International Siberian workshops and tutorials on electron devices and materials · 6
Semantic Classification of Event Driven Temporal Logic Requirements
2022 · Anastasia N. Getmanova, Natalia O. Garanina, et al. · International Siberian workshops and tutorials on electron devices and materials · 5
Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
2021 · Anna A. Ponomarenko, Natalia O. Garanina, et al. · International Siberian workshops and tutorials on electron devices and materials · 5
Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems
2019 · A. S. Rozov, V. E. Zyubin · Optoelectronics Instrumentation and Data Processing · 5
Model Checking Process-oriented Iec 61131-3 Structured Text Programs
2023 · Natalia Garanina, Sergey Staroletov, et al. · System Informatics · 4
PDF
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
2023 · Vladimir E. Zyubin, Natalia O. Garanina, et al. · Sensors · 4
PDF
Towards Controlled Natural Language for Event-Driven Temporal Requirements
2023 · Anna V. Gnezdilova, Natalia O. Garanina, et al. · International Siberian workshops and tutorials on electron devices and materials · 4
Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text
2024 · N. O. Garanina, S. M. Staroletov, et al. · Automatic Control and Computer Sciences · 3
Developing Cloud PLC for poST-Specified Software
2023 · Anton Maseevsky, Vladimir Zyubin · International Russian Automation Conference (RusAutoCon) · 3
Developing Distributed Control Software with the Reflex Language: Bottle-filling System Case Study
2022 · Igor S. Anureev, Vladimir E. Zyubin, et al. · International Russian Automation Conference (RusAutoCon) · 3
Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems
2019 · Tatiana Liakh, Igor Anureev, et al. · International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) · 3
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
2018 · T. V. Liakh, V. E. Zyubin, et al. · Vestnik NSU Series Information Technologies · 3
PDF
Works count: 56
Citation count: 403
H-index: 9
I10-index: 8
Year
Topic
Type