Tatiana V. Liakh was born in Novosibirsk, in 1990. She received the M.S. degree in physics from the Novosibirsk State University, Novosibirsk, in 2013.
Tatiana Liakh is a researcher of the Cyber-Physical Systems Laboratory at the Institute of Automation and Electrometry SB RAS since 2016, and lecturer at Novosibirsk State University since 2011.
In 2020 she defended her Ph.D. degree in technical sciences in the specialty 05.13.18 Mathematical modeling, numerical methods, and program complexes.
Cyber-Physical Systems, Dynamic verification, Formal Verification, Automatic Control Systems and Robotics.
Verifying Reflex-software with SPIN: Hand Dryer Case Study
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
Two-Step Deductive Verification of Control Software Using Reflex
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Towards safe cyber-physical systems: the Reflex language and its transformational semantics
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
An Ontology of Specification Patterns for Verification of Concurrent Systems
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Reflex Language: a Practical Notation for Cyber-Physical Systems
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
Tatiana Liah, Vladimir Zyubin