Towards E-Learning Support for Advanced PLC-Programming: Virtual Training Kit for a Sluice Controller with the poST Language
Kharchenko, Alexander D., Zyubin, Vladimir E., Rozov, Andrei S.
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Get full text
Conference Proceeding
Towards Controlled Natural Language for Event-Driven Temporal Requirements
Gnezdilova, Anna V., Garanina, Natalia O., Staroletov, Sergey M., Zyubin, Vladimir E.
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Get full text
Conference Proceeding
Developing Distributed Control Software with the Reflex Language: Bottle-filling System Case Study
Anureev, Igor S., Zyubin, Vladimir E., Garanina, Natalia O., Staroletov, Sergey M.
Published in 2022 International Russian Automation Conference (RusAutoCon) (04.09.2022)
Published in 2022 International Russian Automation Conference (RusAutoCon) (04.09.2022)
Get full text
Conference Proceeding
Formalization of Process-oriented Programs in poST Using Isabelle/HOL
Ishchenko, Artyom D., Anureev, Igor S., Staroletov, Sergey M., Garanina, Natalia O., Zyubin, Vladimir E.
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Get full text
Conference Proceeding
Semantic Classification of Event Driven Temporal Logic Requirements
Getmanova, Anastasia N., Garanina, Natalia O., Staroletov, Sergey M., Zyubin, Vladimir E., Anureev, Igor S.
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Get full text
Conference Proceeding
Automatic Generation of Verification Code for Dynamic Verification of Process-Oriented Reflex Programs
Grivtsova, Alexandra L., Zyubin, Vladimir E., Lyakh, Tatiana V., Dvinyanin, Alexander A.
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Get full text
Conference Proceeding
Generating Process Diagrams for Control Software in the Reflex Language
Belenkaia, Sofia E., Zyubin, Vladimir E., Rozov, Andrei S.
Published in 2020 International Russian Automation Conference (RusAutoCon) (01.09.2020)
Published in 2020 International Russian Automation Conference (RusAutoCon) (01.09.2020)
Get full text
Conference Proceeding
Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
Ponomarenko, Anna A., Garanina, Natalia O., Staroletov, Sergey M., Zyubin, Vladimir E.
Published in 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2021)
Published in 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2021)
Get full text
Conference Proceeding
Verifying Reflex-software with SPIN: Hand Dryer Case Study
Liakh, Tatiana V., Garanina, Natalia O., Anureev, Igor S., Zyubin, Vladimir E.
Published in 2020 21st International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM) (01.06.2020)
Published in 2020 21st International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM) (01.06.2020)
Get full text
Conference Proceeding
Process-oriented programming language for MCU-based automation
Rozov, Andrei S., Zyubin, Vladimir E.
Published in 2013 International Siberian Conference on Control and Communications (SIBCON) (01.09.2013)
Published in 2013 International Siberian Conference on Control and Communications (SIBCON) (01.09.2013)
Get full text
Conference Proceeding