Vladimir Zubin

According to our database, Vladimir Zubin authored at least 13 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Developing controlled natural language for formal specification patterns using AI assistants.

Natalya Olegovna Garanina, Vladimir Zyubin, Igor S. Anureev

CoRR, December, 2025

2024

Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text.

Natalya Olegovna Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

Autom. Control. Comput. Sci., December, 2024

2023

Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.

Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov

Sensors, July, 2023

2022

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language.

Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin

IEEE Access, 2022

2021

A Temporal Logic for Programmable Logic Controllers.

Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch

Autom. Control. Comput. Sci., 2021

Using Process-Oriented Structured Text for IEC 61499 Function Block Specification.

Vladimir Zyubin, Andrei Rozov

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.

Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.

Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov

Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

2020

Dedicative Verification of Reflex Programs.

Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch

Program. Comput. Softw., 2020

Methods for Domain Specialization of Verification-Oriented Process Ontologies.

Natalya Olegovna Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

Autom. Control. Comput. Sci., 2020

2019

An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.

Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Two-Step Deductive Verification of Control Software Using Reflex.

Igor S. Anureev, Natalia Olegovna Garanina, Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch

Proceedings of the Perspectives of System Informatics, 2019

2018

An Ontology of Specification Patterns for Verification of Concurrent Systems.

Natalia Olegovna Garanina, Vladimir Zubin, Tatiana V. Lyakh, Sergei Gorlatch

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018