Concepedia

Tatiana Liakh

TL

Statistics

Publications

4

Citations

70

H-Index

4

Active since

2018

Affiliations

Institute of Automation and Electrometry(Current)

Tatiana Liakh is an author at Institute of Automation and Electrometry specializing in computer science, formal methods, and cyber-physical systems.

Publications per year

2018–2022

4

Publications

4

REFLEX LANGUAGE: A PRACTICAL NOTATION FOR CYBER-PHYSICAL SYSTEMS

Vladimir Zyubin, Tatiana Liakh, Andrei Rozov · System Informatics · 2018 · 21 citations · Full text

Engineering, Computer Science, Systems Engineering +15

Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics

Igor Anureev, Natalia Garanina, Tatiana Liakh et al. · 2019 · 18 citations

Computing, Computer Science, Systems Engineering +15

Formal model of IEC 61499 execution trace in FBME IDE

Tatiana Liakh, Radimir Sorokin, Daniil Akifev et al. · 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) · 2022 · 16 citations · Full text

Computing, Computer Science, Automation +13

A Temporal Logic for Programmable Logic Controllers

Natalia Garanina, Igor Anureev, Vladimir Zyubin et al. · Automatic Control and Computer Sciences · 2021 · 15 citations

Engineering, Computer Engineering, Computer Science +11

1–4 of 4