Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zyubin, Vladimir
61  Ergebnisse:
Personensuche X
?
1

Development of Project Management Module for Reflex Cloud I..:

, In: 2024 International Russian Smart Industry Conference (SmartIndustryCon),
Kuznetsov, Yegor ; Zyubin, Vladimir - p. 957-961 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Visual Monitoring of Swarms of Industrial Robots:

, In: 2023 International Russian Automation Conference (RusAutoCon),
Kravchenko, Anastasia ; Sychev, Alexey ; Zyubin, Vladimir - p. 604-609 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Developing Cloud PLC for poST-Specified Software:

, In: 2023 International Russian Automation Conference (RusAutoCon),
Maseevsky, Anton ; Zyubin, Vladimir - p. 477-481 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Using Process-Oriented Structured Text for IEC 61499 Functi..:

, In: Advances in Model and Data Engineering in the Digitalization Era; Communications in Computer and Information Science,
Zyubin, Vladimir ; Rozov, Andrei - p. 217-227 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Event-Driven Temporal Logic Pattern for Control Software Re..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,
Zyubin, Vladimir ; Anureev, Igor ; Garanina, Natalia... - p. 92-107 , 2021
Link: https://doi.org/10.1007/..
 
?
6

The Post Language: Process-Oriented Extension for IEC 61131..:

, In: 2020 International Russian Automation Conference (RusAutoCon),
Bashev, Vladislav ; Anureev, Igor ; Zyubin, Vladimir - p. 994-999 , 2020
Link: https://doi.org/10.1109/..
 
?
7

An Ontology-Based Approach to Support Formal Verification o..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,
Garanina, Natalia ; Anureev, Igor ; Sidorova, Elena... - p. 114-130 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Two-Step Deductive Verification of Control Software Using R..:

, In: Lecture Notes in Computer Science; Perspectives of System Informatics,
Anureev, Igor ; Garanina, Natalia ; Liakh, Tatiana... - p. 50-63 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Four-Component Model for Dynamic Verification of Process-Or..:

, In: 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON),
Liakh, Tatiana ; Anureev, Igor ; Rozov, Andrei.. - p. 0466-0471 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Towards Safe Embedded Systems: IndustrialC Translational Se..:

, In: 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON),
Rozov, Andrei ; Anureev, Igor ; Garanina, Natalia.. - p. 0857-0861 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Algorithmic Conflict Detection in Process-Oriented Programs:

, In: 2024 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM),
Permiashkin, Dmitry A. ; Zyubin, Vladimir E. - p. 848-852 , 2024
Link: https://doi.org/10.1109/..
 
?
12

Towards Topology-Free Programming for Cyber-Physical System..:

Zyubin, Vladimir E. ; Garanina, Natalia O. ; Anureev, Igor S..
Sensors.  23 (2023)  13 - p. 6216 , 2023
Link: https://doi.org/10.3390/..
 
?
13

Towards Process-Oriented Programming Distributed Control Sy..:

, In: 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM),
Zyubin, Vladimir E. ; Ivanishkin, Dmitry S. ; Anureev, Igor S. - p. 1840-1843 , 2023
Link: https://doi.org/10.1109/..
 
?
14

Developing EDTL IDE Kernel with Xtext Framework:

, In: 2023 IEEE XVI International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering (APEIE),
Kozlova, Anastasia V. ; Zyubin, Vladimir E. ; Garanina, Natalia O. - p. 1000-1005 , 2023
Link: https://doi.org/10.1109/..
 
?
15

Towards Controlled Natural Language for Event-Driven Tempor..:

, In: 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM),
Gnezdilova, Anna V. ; Garanina, Natalia O. ; Staroletov, Sergey M.. - p. 1860-1865 , 2023
Link: https://doi.org/10.1109/..
 
1-15