
Tatiana Liakh
Biography
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.
Professional Activity
Cyber-Physical Systems, Dynamic verification, Formal Verification, Automatic Control Systems and Robotics.
Publications
Verifying Reflex-software with SPIN: Hand Dryer Case Study
July 2020
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
Two-Step Deductive Verification of Control Software Using Reflex
July 2019
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
April 2019
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
2019
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
September 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Reflex Language: a Practical Notation for Cyber-Physical Systems
2018
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
2018
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
June 2016
Tatiana Liah, Vladimir Zyubin