Tatiana Lyakh

According to our database, Tatiana Lyakh authored at least 6 papers between 2018 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

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

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