Tatiana V. Liakh

According to our database, Tatiana V. Liakh authored at least 4 papers between 2019 and 2021.

Collaborative distances:

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

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

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

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