Tatiana Liakh

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Interactive Evolutionary Computation

Automated Verification

Execution Traces

Top Venues

Publications

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT (2024)
Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin
Debugging approach for IEC 61499 control applications in FBME. ISIE (2023)
Tuojian Lyu, Nikolai Galkin, Tatiana Liakh, Chen-Wei Yang, Valeriy Vyatkin
Methods of data streaming from IEC 61499 applications to Cloud storages. ISIE (2023)
Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin
Formal model of IEC 61499 execution trace in FBME IDE. INDIN (2022)