Research Output per year
Research Output per year
Fingerprint
Dive into the research topics where Владимир Евгеньевич Зюбин is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 4 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
An ontology-based approach to support formal verification of concurrent systems
Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sep 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems
Rozov, A. S. & Zyubin, V. E., 1 Mar 2019, In : Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 198-204 7 p.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus) -
Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 Mar 2019, In : Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 189-197 9 p.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus) -
Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems
Liakh, T., Anureev, I., Rozov, A., Garanina, N. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 466-471 6 p. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
LabVIEW-based automatic verification of process-oriented software
Liakh, T., Rozov, A. & Zyubin, V., 1 Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review