Vladimir E. Zyubin

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Programmable Logic

Process Oriented

Computer Supported

Mazurkiewicz Traces

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm. Sensors 23 (13) (2023)
Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. IEEE Access 10 (2022)
Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch
A Temporal Logic for Programmable Logic Controllers. Autom. Control. Comput. Sci. 55 (7) (2021)
Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch
Dedicative Verification of Reflex Programs. Program. Comput. Softw. 46 (4) (2020)
Natalya Olegovna Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin
Methods for Domain Specialization of Verification-Oriented Process Ontologies. Autom. Control. Comput. Sci. 54 (7) (2020)