Tatiana V. Liakh

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Control Software

Mazurkiewicz Traces

Requirements Specification

Top Venues

Autom. Control. Comput. Sci.

Ershov Informatics Conference

Publications

Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. FedCSIS (2021)
Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. FSEN (2021)
Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch
A Temporal Logic for Programmable Logic Controllers. Autom. Control. Comput. Sci. 55 (7) (2021)
Igor S. Anureev, Natalia Olegovna Garanina, Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch
Two-Step Deductive Verification of Control Software Using Reflex. Ershov Informatics Conference (2019)