Татьяна Лях

Биография

Татьяна Викторовна Лях родилась в Новосибирске в 1990 году. Получила степень магистра наук по физике в Новосибирском государственном университете (Новосибирск, 2013 г.)

Татьяна Лях - научный сотрудник Лаборатории киберфизических систем Института автоматики и электрометрии СО РАН с 2016 года, преподаватель Новосибирского государственного университета с 2011 года.

В 2020 году защитила степень кандидата технических наук по специальности 05.13.18 Математическое моделирование, численные методы и комплексы программ.

Профессиональная активность

Сфера научных интересов: киберфизические системы, динамическая верификация, формальная верификация, автоматические системы управления и робототехника.

Публикации

Verifying Reflex-software with SPIN: Hand Dryer Case Study

Июль 2020

Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin

XXI International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Novosibirsk, 29 June - 3 July 2020, P. 210-214

Подробнее

Two-Step Deductive Verification of Control Software Using Reflex

Июль 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S

Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia

Towards safe cyber-physical systems: the Reflex language and its transformational semantics

Апрель 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E

14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.

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

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

An Ontology of Specification Patterns for Verification of Concurrent Systems

Сентябрь 2018

Garanina N. O., Zyubin V., Lyakh T., Gorlatch S

New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain

Подробнее

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

System Informatics 12 (2018), pp. 84–104

Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators

2018

Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94.

The Reflex Language Usage to Automate the Large Solar Vacuum Telescope

Июнь 2016

Tatiana Liah, Vladimir Zyubin

17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).